Laura Titolo

Laura Titolo's picture
First Name: 
Last Name: 
Former Members
Research interests: 
Automatic debugging, verification and analysis of concurrent, reactive and temporal systems, semantics of declarative languages, the concurrent constraint paradigm, abstract interpretation, temporal logics.
+35 951952964

Dr. Laura Titolo is a postdoctoral researcher at the University of Málaga since September 2014.
She also collaborates with the Extension of Logic Programming group at the Universidad Politècnica de València and with the F.Li.T. (Formal Light-weight tools) group at the University of Udine. Her current research is focused on abstract interpretation and semantics-based techniques to analyze and verify complex reactive, concurrent and hybrid systems.
She received her Ph.D. in Computer Science from the University of Udine (Cycle XXVII) in May 2014, under the supervision of Marco Comini and Alicia Villanueva.
She received her Bachelor's degree (Laurea Triennale) and Master’s degree (Laurea Specialistica) in Computer Science from the University of Udine in July 2008 and October 2010, respectively, both with full marks and honors (110/110 cum laude).
She was also a student of the Scientific track at the "Scuola Superiore dell’Università degli studi di Udine", and she received the degree in June 2011 with full marks and honors (110/110 cum laude).