I’m a PhD student studying programming languages with Amal Ahmed in the Programming Research Laboratory at Northeastern University. Previously, I graduated from Brown University, where I was advised by Shriram Krishnamurthi and Tim Nelson. I’m broadly interested in language-based security with an eye toward language interoperability and cryptography.

email: ahwagner at ccs.neu.edu
pronouns: he/him/his

Publications

• Forge: A Tool and Language for Teaching Formal Methods.
  Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charlie Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Benjamin Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi
  OOPSLA 2024.

• Semantic Encapsulation using Linking Types.
  Daniel Patterson, Andrew Wagner, Amal Ahmed.
  TyDe 2023.
  Appendix.

• Adversary Safety by Construction in a Language of Cryptographic Protocols.
  Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala.
  CSF 2022.
  Recipient of the MIT Lincoln Laboratory 2022 Best Paper Award.

• Semantic soundness for language interoperability.
  Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed.
  PLDI 2022.
  Appendix.

• Solver-Aided Multi-Party Configuration.
  Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson.
  HotNets 2020.