Design Support for Multitape Turing Machines
TFPiE 2025: Symposium on Trends in Functional Programming in Education
Published: TBD
About Me
I am a first-year PhD student in Computer Science at the University of Maryland. My research, guided by my advisors Leo Lampropoulos and Ian Miers, explores Programming Languages and Cryptography, with a focus on using formal methods and zero-knowledge proofs to verify private systems without exposing sensitive details.
As an undergrad, I worked on Automata Theory, extending domain-specific languages with tools to better understand nondeterminism.
I aim for my work to be driven by real-world application.
Tennis
I played Division I tennis for Seton Hall University and later for the University of Maryland. Reach out if you'd like to play!
Publications
2025
2024
The Implementation of FSM Computation Graphs
IFL 2024: Proceedings of the 36th Symposium on Implementation and Application of Functional Languages
Published: 02 May 2025
Visualizing Composed Turing Machines
SPLASH-E 2024: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E
Published: 17 October 2024
Using Computation Graphs to Explain Nondeterminism to Students
SPLASH-E 2024: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E
Published: 17 October 2024
2023
Visualizing Why Nondeterministic Finite-State Automata Reject
ICFP 2023: Scheme and Functional Programming Workshop 2023
Published: 12 October 2023
Curriculum Vitae (CV)
Download my CV for more details on my academic and professional background.
Contact
Feel free to reach out via email or connect with me on professional networks. Email: okempins@umd.edu.