Laila Elbeheiry
Software Engineer Intern at CertiK
Qatar
Summary
🤩
Rockstar🎓
Top SchoolLaila Elbeheiry is a Carnegie Mellon University CS senior and Software Engineer Intern at CertiK with eight years of hands-on experience across research, teaching, and applied engineering. She focuses on the intersection of formal methods, programming languages, and systems—having built tools like SMLtoCoq and used Coq to verify real-time scheduling properties at the Max Planck Institute. Laila has taught and assisted multiple core CS courses, bringing practical skills in debugging, tooling, and reproducible workflows to both students and codebases. Her internships span applied ML bias-checking and geo-tagged live news systems, reflecting an ability to move between formal verification and real-world product engineering. Colocated in Qatar, she combines academic rigor with production-oriented internships at research and security-focused organizations.
8 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Science, Senior, Bachelor of Science - BS, Computer Science, Senior at Carnegie Mellon University
Github Skills (8)
rust7
coq6
theorem-proving5
proof-assistant4
dependent-types4
python3
algorithms3
interpreter3
Programming languages (4)
Github contributions (5)
LailaElbeheiry/hamlet
Sep 2019 - Aug 2020
SML reference interpreter
Contributions:16 commits, 15 pushes in 11 months
interpreter
LailaElbeheiry/PythonAutograder
Apr 2019 - May 2019
Contributions:21 pushes, 1 branch in 26 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.