Published in N/A, 2019
Unrolling loops where bounds are unknown at compile time
Recommended citation: Adrian Lehmann (2019). "Loop unrolling with non-constant bounds in FIRM". KIT Bachelor Thesis. https://pp.info.uni-karlsruhe.de/uploads/publikationen/lehmann19bachelorarbeit.pdf
Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Adrian Lehmann, Ben Caldwell, Robert Rand (2022). "VyZX : A Vision for Verifying the ZX Calculus". Preprint https://arxiv.org/abs/2205.05781
Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Adrian Lehmann, Ben Caldwell, Robert Rand (2023). "VyZX: Formal Verification of a Graphical Quantum Language". Preprint https://arxiv.org/abs/2311.11571
Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand (2024). "ViCAR: Visualizing Categories with Automated Rewriting in Coq". To appear in ACT 2024 https://arxiv.org/abs/2404.08163
Published:
Presenting our pre-print paper on VyZX in Tool session at Quantum Physics and Logic 2022, Oxford, United Kingdom. You can find the recording on YouTube.
Published:
Presented at Midwest Programming Languages Summit (MWPLS) 2023
Published:
Presented at University of California Santa Cruz LSD Seminar and UChicago Programming Languages Reading Group.
Published:
Published:
Undergraduate course, Karlsruhe Insitute of Technology, IPD Prof. Koziolek, 2017
Teaching first semester students the usage of Java, object oriented modeling, and the basics of functional Java. Each week created structured class with 45min of revision and 45min of supplementary, self-created exercises. Authored and provided revision and exam prep material. Graded homework and exam.
Undergraduate course, Karlsruhe Insitute of Technology, IPD Prof. Tichy, 2018
Teaching second semester students the basics of software engineering practices, processes, guidelines and applications. Each week created structured class with 45min of revision and 45min of supplementary exercises. Authored and provided revision and exam prep material. Graded homework.
Masters course, The University of Chicago, Prof. Samuels, 2021
TA for master’s course in parallel programming
Undergraduate/Graduate course, The University of Chicago, Prof. Reppy, 2023
TA for advanced undergrad and Ph.D. student teaching the theoretical foundations of functional programming languages. Course focused on teaching PL style proof to students.