Cezar-Constantin Andrici

I’m a third-year Ph.D. candidate at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany working with Cătălin Hriţcu. My research interests center around using formal methods to build correct and secure technology that protects privacy. I implemented and formally verified a SAT solver in the Dafny programming language. I devised in the F programming language a secure compiler for IO programs that is formally verified to satisfy one of the strongest criteria of secure compilation. You can find my updated Resume / CV here and contact me at cezar.andrici@mpi-sp.org.


My most recent paper was accepted at POPL 2024!

Recent Publications and Drafts
Blog posts (mix of Romanian and English)