Marta Mateu
Lead Teaching Assistant at University of Southern California
Los Angeles, California, United States
Summary
👤
Senior🎓
Top SchoolMarta Mateu is a Computer Science PhD student at USC specializing in Programming Languages Theory and Formal Methods, with a current research focus on recursive program synthesis and automated theorem proving. She brings nine years of engineering experience across aerospace and satellite systems, having developed rocket localization software at the Guiana Space Centre and contributed to Meteosat software at GTD. At USC she combines research with teaching leadership as a Lead Teaching Assistant and Research Assistant, mentoring students while driving novel synthesis techniques. Her background blends rigorous academic training from Maastricht, Sydney, and USC with hands-on systems work in high-reliability domains, giving her a practical bent on formally verified software. Outside academia she’s an avid surfer and skater, a detail that underscores a comfort with risk, balance, and iterative skill improvement.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD in Computer Science Programming Language Theory and Formal Methods, Doctor of Philosophy - PhD in Computer Science Programming Language Theory and Formal Methods at University of Southern CaliforniaHonours Degree - Bs Data Science and Engineering Mathematics and Computer Science, Honours Degree - Bs Data Science and Engineering Mathematics and Computer Science at Maastricht UniversityThe University of Sydney
Spanish, English, Catalan, FrenchGithub contributions (5)
martadavma/martadavma
Mar 2022 - Jan 2024
Contributions:4 pushes, 1 branch in 1 year 9 months
martadavma/Functional-Programming
Mar 2023 - Sep 2023
Contributions:2 pushes, 1 branch in 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.