Laura Titolo

NASA LaRC Formal Methods Team

National Institute of Aerospace

 
 

I am a postdoctoral research scholar at the National Institute of Aerospace and member of the NASA LaRC Formal Method Team at the Langley Research Center (Hampton, Virginia).


From September 2014 to August 2015 I was a postdoctoral researcher in the Mobile Networks and Software Reliability Lab. at the University of Malaga.


I received my Ph.D. in Computer Science from the University of Udine (Cycle XXVII) in May 2014, under the supervision of Marco Comini and Alicia Villanueva.

I received my Bachelor's degree (Laurea Triennale) and Master’s degree (Laurea Specialistica) in Computer Science at the University of Udine, in July 2008 and October 2010, respectively, both with full marks and honors (110/110 cum laude).

I was also a student of the scientific class of the Scuola Superiore dell’Università degli studi di Udine, and I received the diploma in June 2011 with full marks and honors (110/110 cum laude).


Here you can find my full cv, and here my list of publications in DBLP.

Short biography

Research interests

Publications

I’m interested in:

  1. -semantics of declarative languages

  2. -abstract interpretation

  3. -automatic verification and analysis of concurrent, real-time and hybrid systems

  4. -concurrent constraint paradigm

  5. -logic and constraint programming

Attended schools and conferences:

M. Comini, L.Titolo, A. Villanueva “A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp”
                    Available: PDF


M. Comini, L.Titolo, A. Villanueva “Abstract Diagnosis for Timed Concurrent Constraint programs” in Theory and Practice of Logic Programming, volume 11, issue 4-5, pp. 487-502, Special issue on 27th International Conference on Logic Programming (ICLP 2011)
                    Available: PDF


L.Titolo “An abstract interpretation framework for verification of Timed Concurrent Constraint Programming” in 9th ICLP Doctoral Consortium, Istanbul, Turkey, 24th August 2013
                     Available: PDF


M. Comini, L.Titolo, A. Villanueva “Toward an effective decision procedure for LTL formulas with constraints” in 23rd Workshop on Logic-Based Methods in Programming Environments (WLPE 2013), Istanbul, Turkey, 24th-25th August 2013
                     Available: PDF


M. Comini, L.Titolo, A. Villanueva “Abstract Diagnosis for tccp using a linear temporal logic” in Theory and Practice of Logic Programming, volume 11, issue 4-5, pp. 487-502, Special issue on 27th International Conference on Logic Programming (ICLP 2014)
                     Available: PDF


PhD Thesis: An abstract interpretation framework for Diagnosis and Verification of Timed Concurrent Constraint Languages (12th May 2014)

                     Available: PDF


D. Adalid, M.M. Gallardo, L.Titolo “Modeling Hybrid Systems in Hy-tccp” in 3rd International Conference on Formal Methods on Safety-Critical Systems (FTSCS 2014) Luxembourg, 7th-8th November 2014

                     Available: PDF


D. Adalid, M.M. Gallardo, L.Titolo “Modeling Hybrid Systems in the concurrent constraint paradigm” in Electronic Proceedings in Theoretical Computer Science volume 173, pp. 1-15

                    Available: PDF


M. Comini, M.M. Gallardo, L. Titolo, A. Villanueva “Abstract Analysis of Universal Properties for tccp” in 25th International Symposium of Logic-Based Program Synthesis and Transformation (LOPSTR 2015), Siena, Italy, 13th-15th July 2015


M.M. Gallardo, L. Panizo, L. Titolo “A discrete operational semantics for the implementation of hytccp”, XV Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander, Spain,

15th-17th September 2015



Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All people copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

- 25th International Symposium on Logic-Based Program Synthesis and Transformation, Siena, Italy, 13th-15th July 2015 (LOPSTR 2015)


- 3rd International Conference on Formal Methods on Safety-Critical Systems, Luxembourg, 6th-7th November 2014 (FTSCS 2014)


  1. -Vienna Summer of Logic 2014 (VSL 2014)


  1. -29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey, 24th-29th August 2013


  1. -Workshop on Logic-Based Methods in Programming Environments (WLPE 2013), Istanbul, Turkey, 24th-25th August 2013


  1. -Second Joint Summer School on Biology, Computation and Information, Udine, Italy, 10th-14th September 2012


  1. -Second Joint Summer School on Nanotechnology, Udine, Italy, 2nd-5th July 2012


  1. -27th International Conference on Logic Programming (ICLP 2011), Lexington, Kentuky, USA, 6th-10th July 2011


  1. -3rd International ALP/GULP Spring School in Computational Logic (ISCL 2011), Bertinoro, Italy, 10th-15th April 2011


  1. -XI Jornadas sobre Programación y Lenguajes (PROLE 2010), Valencia, Spain, 6th-8th September 2010