Publications

Refereed Publications

1. Characterizing NC1 with Typed Monoids
   Anuj Dawar and Aidan T. Evans. 2025 Foundations of Software Technology and Theoretical Computer Science (FSTTCS '25), December 2025
2. MCBeth: A Measurement Based Quantum Programming Language
   Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand. 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE '23), May 2023

Refereed Presentations

1. Characterizing NC1 with Typed Monoids
   Anuj Dawar and Aidan T. Evans. 2025 British Colloquium for Theoretical Computer Science (BCTCS '25), April 2025
2. MCBeth: A Measurement Based Quantum Programming Language
   Aidan Evans, Seun Omonije, Robert Soulé Robert Rand. Quantum Physics and Logic 2022 (QPL '22), June 2022

Selected Technical Reports

1. Characterizing NC1 with Typed Monoids
   Anuj Dawar and Aidan T. Evans. arXiv, August 2025
2. MCBeth: A Measurement Based Quantum Programming Language
   Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand. arXiv, April 2022

Selected Term Projects

1. Extending Logical Neural Networks using First-Order Theories
   Jorge Blanco and Aidan Evans. Term Project for CPSC 552: Deep Learning Theory and Applications, Yale University, May 2022
2. Feynman-Path Simulation and Visualization
   Aidan Evans and Zhiyao Ma. Term Project for CPSC 647: Quantum Computer Systems, Yale University, December 2021
3. Automatic Content Moderation in Real-Time Communities
   Aidan Evans. Term Project for CPSC 610: Topics in Computer Science and Law, Yale University, May 2021