Laila Elbeheiry

Contact Me


Github: Laila Elbeheiry

Linkedin: Laila Elbeheiry

I'm a first-year PhD student with Derek Dreyer at the Max Planck Institute for Software Systems and Saarland Informatics Campus (as part of the cs@max planck program).

Research Interests

I'm interested in Programming Languages and Formal Methods. I'm even more interested in the applications of these fields on real-life programs and systems - especially when it comes to security applications. I'm interested in theorem-provers, a subset of formal methods, and, in particular, I enjoy working with the Coq proof assistant.

Other research interests include logic, software security, cybersecurity, block chains, and cloud computing.


Please refer to my resume.


I like lists, so here are some lists that I have compiled. *Under construction*

list of favourite courses at CMU-Q

list of things I learned over my very short course of being