Laura Titolo
Principal Research Scientist at Code Metal
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolLaura Titolo is a Principal Research Scientist based in Boston who applies formal methods to make code transpilation and edge computing more reliable, drawing on a decade of research experience across NASA, academia, and industry. Formerly a lead researcher in safety-critical avionics at NASA Langley and a long-standing member of the NASA Formal Methods team, she blends deep expertise in theorem proving, abstract interpretation, and model checking with practical tool development. Her career includes postdoctoral work on verification of concurrent and hybrid systems at Universidad de Málaga and a PhD in Computer Science from the University of Udine, where she graduated with highest honors. Known for translating rigorous formal semantics into applied solutions, she bridges the gap between academic verification techniques and production-grade reliability for embedded and safety-critical software. An early-strength student from the Scuola Superiore of Udine, she brings both top-tier academic pedigree and hands-on experience shipping analyses used in avionics and edge-device toolchains.
10 years of coding experience
10 years of employment as a software developer
Classe Scientifica, 110/110 cum laude, Classe Scientifica, 110/110 cum laude at Scuola Superiore dell'Università degli Studi di UdineLaurea Specialistica, Computer Science, 110/110 cum laude, Laurea Specialistica, Computer Science, 110/110 cum laude at Università degli Studi di UdineUniversitat Politècnica de València
Italian, Spanish, English, French
Github Skills (35)
stream10
hard-real-time9
verification9
copilot9
haskell8
abstract-interpretation6
relational-algebra5
prolog5
static-analyzer5
security5
intermediate5
tla4
static-analysis4
stack-based4
esoteric-language4
Programming languages (2)
Github contributions (5)
lauratitolo/women-in-programming-languages-research
Jun 2019 - Dec 2021
Women in Programming Languages and Software Engineering Research
Contributions:2 PRs, 4 pushes, 2 branches in 2 years 6 months
javascriptwomenprogramming-languagesresearch-software-engineeringengineering
lauratitolo/lauratitolo.github.io
Jun 2019 - Oct 2024
Contributions:13 pushes, 1 branch in 5 years 5 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.