Codruta Girlea
Staff Software Engineer at Lyft
San Carlos, California, United States
Summary
👤
Senior🎓
Top SchoolCodruta Girlea is a Staff Software Engineer in the Bay Area with 16 years of experience bridging research-grade AI and production engineering, currently shaping dialogue and intent modeling at Lyft. She combines a PhD-level background in knowledge representation, computational pragmatics, and formal methods with hands-on work in NLP and probabilistic-logical reasoning to model beliefs, intentionality, and belief change in conversation. Her career spans academic research on deceitful and spatial reasoning, NLP internships building grounded scene graphs and question classifiers, and long-term engineering impact at Lyft. Known for blending symbolic formalisms with statistical methods, she focuses on flexible, domain-adaptable representations that enable deep semantic understanding rather than purely surface-level NLP. Based in San Carlos, she brings rare expertise in modal and spatial logics to practical dialogue systems engineering.
16 years of coding experience
Master of Science (M.S.), Informatics, Master of Science (M.S.), Informatics at Scoala Normala Superioara BucharestUniversity of Illinois Urbana-ChampaignEngineer's degree, Computer Science, Engineer's degree, Computer Science at University of Bucharest
English, French, German
Github Skills (17)
heterogeneous8
logic8
tlaplus7
agda7
model-checking7
theorem-proving6
homotopy-type-theory6
coq6
dependent-types5
proof-assistant5
gunicorn1
wsgi1
unix1
httpd1
http-server1
Programming languages (2)
Github contributions (5)
codruta/codruta.github.io
Jun 2017 - Oct 2017
Contributions:11 pushes, 1 branch in 5 months
codruta/gatsby
Nov 2017 - Nov 2017
Contributions:15 pushes in 1 day
reactstatic-siteblazingsite-generatorblazing-fast
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.