Laura Titolo, PhD, is a Principal Research Scientist at Code Metal, specializing in the application of formal methods to enhance the reliability of code transpilation techniques for edge computing. Previously, Laura held roles as a Lead Research Scientist at Analytical Mechanics Associates and as a Senior Research Scientist part of the NASA Formal Methods Team. Laura completed postdoctoral research at the University of Malaga after obtaining a Ph.D. in Computer Science from the University of Udine in 2014, where they also earned both a Bachelor's and a Master's degree with honors. Their research interests encompass formal methods, static analysis, theorem proving, and other programming languages related topics.
This person is not in any teams