Hira Syeda
Lecturer at University of Melbourne
Melbourne, Victoria, Australia
Summary
🤩
Rockstar🎓
Top SchoolHira Syeda is a lecturer and formal methods researcher based in Melbourne with nine years of experience bridging academic research and industry-level applied science. She holds a PhD in Computer Engineering and has held research and engineering roles at CSIRO Data61, Chalmers University and AWS, where she worked on identity-related applied science and verification-driven tooling. Her open-source contributions include substantive back-end and theorem-proving work on the well-regarded CakeML project, improving compiler constructs and exception/state handling—illustrating deep expertise in formal semantics and verified implementations. Comfortable moving between proving correctness and shipping production-quality systems, she brings rigorous, proof-oriented thinking to teaching and applied research.
9 years of coding experience
7 years of employment as a software developer
Master of Engineering - MEng, Electrical and Electronics Engineering, Master of Engineering - MEng, Electrical and Electronics Engineering at National University of Sciences and Technology (NUST)UNSW Sydney
Github Skills (5)
theorem-proving10
sml10
formal-methods10
formal-semantics9
compiler9
Programming languages (6)
Github contributions (5)
CakeML/cakeml
May 2019 - Aug 2021
CakeML: A Verified Implementation of ML
Role in this project:
Back-end Developer & Theorem Prover
Back-end Developer & Theorem ProverContributions:924 commits, 2 PRs, 784 pushes in 2 years 2 months
Contributions summary:Hira primarily contributed to the CakeML project by refining the compiler's implementation. Their work included improvements to the Raise and While constructs, call cases, and cheat removal, which required a strong understanding of formal semantics and theorem proving. They also worked on state-related aspects and ensured proper handling of exceptions within the language.
smlverifiedtheorem-provingsatformal-verification
SEL4PROJ/tlb
Aug 2016 - Feb 2020
Contributions:128 commits, 2 pushes, 1 branch in 3 years 6 months
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.