Laila Elbeheiry
Software Engineer Intern at CertiK
Qatar
Summary
👤
Senior🎓
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 (25)
sml8
tla7
coq7
theorem-proving6
sat-solver6
mathematical6
dependent-types6
dsl6
homotopy-type-theory5
agda5
proof-assistant5
apl4
abstract-syntax-tree4
executable4
inheritance4
Programming languages (3)
Github contributions (5)
LailaElbeheiry/hamlet
Sep 2019 - Aug 2020
SML reference interpreter
Contributions:16 commits, 15 pushes in 11 months
smlcode-golfaplinheritanceabstract-syntax-tree
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.