Laura Titolo
Principal Research Scientist @ Code Metal, x-NASA | Formal Verification | Static Analysis | Formal Methods | Programming Languages
- Role
- Principal Research Scientist at Code Metal
- Location
- Boston, MA, US
- LinkedIn followers
- 500 followers
Research & DevelopmentView LinkedIn profile
About Laura Titolo
I am a Principal Research Scientist at Code Metal working on applying formal methods to…
Experience
Principal Research Scientist
Sep 2024 — Present · Boston, MA, US
Education
Università degli Studi di Udine
Laurea Specialistica, Computer Science, 110/110 cum laude
2005 — 2010
Scuola Superiore dell'Università degli Studi di Udine
Classe Scientifica, 110/110 cum laude
2005 — 2010
Universitat Politècnica de València (UPV)
Exchange Student
2010 — 2010
Skills
- Systems Modeling
- Abstract Interpretation
- Software Engineering
- Sql
- C++
- Program Analysis
- Computer Science
- Java
- Formal Verification
- Haskell
- Prolog
- Svn
- Model Checking
- Git
- Testing
- Functional Programming
- Logic Programming
- Concurrent Programming
- Declarative Languages
- Formal Methods
- Latex
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.