I am a computer science researcher with a variety of interests,
including programming languages and compilers,
formal methods, theoretical cryptography, and machine learning.
I completed my PhD in theoretical cryptography at Stanford,
where I was fortunate to be advised by
Dan Boneh.
In my work, I am motivated by the desire to find elegant solutions
and understandable explanations.
I believe that teaching is a vital, albeit undervalued,
component of the research process.
I also hold many unpopular opinions, chief among them
that moral philosophy is of great practical importance,
and that AI alignment is by far the most important issue
that humanity faces.
Selected publications
- Joe Zimmerman.
Practical LR Parser Generation. arXiv, 2022.
- Joe Zimmerman.
langcc: A Next-Generation Compiler Compiler. arXiv, 2022.
- David J. Wu, Joe Zimmerman, Jérémy Planul, and John C. Mitchell.
Privacy-preserving shortest path computation. NDSS 2016.
- Joe Zimmerman.
How to obfuscate programs directly. EUROCRYPT 2015.
- Dan Boneh, Kevin Lewi, Mariana Raykova, Amit Sahai, Mark Zhandry, and Joe Zimmerman.
Semantically secure order-revealing encryption: multi-input functional encryption without obfuscation. EUROCRYPT 2015.
- John C. Mitchell and Joe Zimmerman.
Data-oblivious data structures. STACS 2014.
