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).
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