Laura Titolo. Dept. of Languages and Computational Science, University of Malaga. Personal Information. Short Bio. date of birth 26 September 1986

Transcription

1 Laura Titolo Dept. of Languages and Computational Science, University of Malaga name Personal Information Laura Titolo date of birth nationality address home page Italian laura.titolo Short Bio I received my Ph.D. in Computer Science from the University of Udine (Cycle XXVI) on May, 12. My thesis title is "An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages" and it was written under the supervision of Marco Comini and Alicia Villanueva. I am a member of the F.Li.T (Formal Light-Weight Tools) group at the Department of Mathematics and Computer Science of the University of Udine (Italy) and I also collaborate with the ELP (Extensions of Logic Programming) group at the Department of Information Systems and Computation of the Technical University of Valencia (Spain). Furthermore, from, I am a member of the Association for Logic Programming (ALP). I received my Bachelor s degree (Laurea Triennale) and Master degree (Laurea Specialistica) in Computer Science from the University of Udine, in July 2008 and October, respectively, both with full marks and honors (110/110 cum laude). I was also a student at the scientific class of the Scuola Superiore dell University of Udine (Excellence University Institute), and I received my degree in June with full marks and honors (110/110 cum laude). My research interests include: automatic debugging, verification and analysis of concurrent, reactive and temporal systems semantics of declarative languages the concurrent constraint paradigm abstract interpretation temporal logics laura.titolo 1/7

2 Academic Positions -today January -March PostDoctoral Researcher, University of Malaga, Spain. Research Topics: Semantics of declarative languages, Abstract Interpretation, Automatic Debugging, Verification and Analysis, Hybrid Systems, Reactive and concurrent Systems Research fellow, Technical University of Valencia, Spain. "TechnoLogics" project (TIN C02), financed by the Spanish ministry of science and innovation May June October Education Ph. D. in Computer Science, University of Udine, Research Topics: Semantics of declarative languages, Abstract Interpretation, Automatic Debugging, Verification and Analysis of concurrent programs. Diploma Scuola Superiore dell Univesità degli Studi di Udine (School of sciences), Scuola Superiore, University of Udine, Italy, 110/110 cum laude. Master Degree in Computer Science, University of Udine, Italy, 110/110 cum laude. Thesis Title: Una semantica bottom-up goal-independent per Timed Concurrent Constraint Programming ( A bottom-up goal-independent semantics for Timed Concurrent Constraint Programming ). Supervisors: Prof. Marco Comini and Prof. Alicia Villanueva. July 2008 Bachelor s Degree in Computer Science, University of Udine, Italy, 110/110 cum laude. Thesis Title: Semantica Algebrica di CLP(FD) ( Algebraic Semantics for CLP(FD) ) Supervisor: Prof. Marco Comini. June 2005 High School Diploma "Ragioniere Perito Commerciale e Programmatore", Istituto Tecnico Commerciale Statale "Odorico Mattiussi", Pordenone, Italy, 100/100. International Experience May December 2012 February -May 2009-March Visiting Ph.D. student, Technical University of Valencia (Spain) Visiting Ph.D. student, Technical University of Valencia (Spain) Exchange Student (Erasmus) in Computer Science, Technical University of Valencia (Spain) Skills and competences Programming Languages Prolog, Haskell, Curry, Scheme C, C++, Java, Visual Basic, Pascal SQL laura.titolo 2/7

3 Platforms MacOS Linux Windows Languages Italian English Spanish French Mother Tongue C2 (Proficient User) C2 (Proficient User) A1 (Basic User) Research Activity Publications Damián Adalid, María del Mar Gallardo, Laura Titolo: Modeling Hybrid Systems in the Concurrent Constraint Paradigm, Electronic Notes on Theoretical Computer Science (ENTCS) 173, pages 1-15 Damian Adalid, Maria del Mar Gallardo, Laura Titolo: Modelling Hybrid Systems in Hy-tccp, Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS ) Marco Comini, Laura Titolo, Alicia Villanueva: Abstract Diagnosis for tccp using a Linear Temporal Logic, Theory and Practice of Logic Programming (TPLP) 14(4-5), pages Laura Titolo: An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages, on-line supplement of the journal Theory and Practice of Logic Programming (TPLP) 13(4-5), Cambridge University Press Marco Comini, Laura Titolo, Alicia Villanueva: Towards an Effective Decision Procedure for LTL formulas with Constraints, Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE ) Istanbul, Turkey Marco Comini, Laura Titolo, Alicia Villanueva: Abstract Diagnosis for Timed Concurrent Constraint programs, Theory and Practice of Logic Programming (TPLP) 11(4-5), pages Marco Comini, Laura Titolo, Alicia Villanueva: Abstract Diagnosis for Timed Concurrent Constraint programs (Abstract), Proceedings of PROLE 2012 (XII Jornadas sobre Programación y Lenguajes), A Coruña, Spain Marco Comini, Laura Titolo, Alicia Villanueva: A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp, (under review) Project Participation "Nuevas extensiones para el uso de técnicas formales en el modelado, verificación, sintesis y optimización" (P11-TIC-7659), University of Malaga (Spain) laura.titolo 3/7

4 May -May January -March 19th-22nd July 19th-22nd July 24th-28th August 6th-10th July 6th-8th March -June 10th-14th July nd-5th July 2012 November - February 2012 October - November "SweetLogics" project (TIN C02), financed by the Spanish ministry of science and innovation, Technical University of Valencia (Spain) "TechnoLogics" project (TIN C02), financed by the Spanish ministry of science and innovation, Technical University of Valencia (Spain) Attended Conferences and Workshops Vienna Summer of Logic, Vienna, Austria. 30th International Conference on Logic Programming (ICLP ), Vienna, Austria. 29th International Conference on Logic Programming (ICLP ), Istanbul, Turkey. 27th International Conference on Logic Programming (ICLP ), Lexington, Kentuky, USA. XI Jornadas sobre Programación y Lenguajes (PROLE ), Valencia, Spain. Attended Ph.D. Courses Category Theory, DIMI, University of Udine, Held by Marino Miculan. 2nd Joint Summer School on Biology, Computation and Information, Udine, Biological interaction networks: Mathematics (Guido Sanguinetti, University of Edinburgh, UK.) Biological interaction networks: Computer Science (Vincent Danos, University of Edinburgh, UK) Biological interaction networks: Biology (Bijoern Usadel, RWTH Aachen University, Germany) 2nd Joint Summer School on Nanotechnology, Udine, Hybrid Systems, DIMI, University of Udine, Held by Carla Piazza and Alberto Policriti. Logic Programming, Knowledge Representation and Nonmonotonic Reasoning, DIMI, University of Udine, Held by Agostino Dovier. laura.titolo 4/7

5 10th-15th April February May 11th June 16th January 28th June 19th July 25th August 24th August 6th July Octuber May 2012 January 2012 July 2009 March 2009 October 2008 March rd International ALP/GULP Spring School in Computational Logic (ISCL), Constraint Languages for Parametrized Verification: Bags, Words, Trees, and Graphs (Giorgio Delzanno, University of Genova, Italy) Description Logics (Enrico Franconi, Free University of Bozen-Bolzano, Italy) Computational Logic and Human Thinking: How to be Artificially Intelligent (Robert Kowalski, Imperial College London, UK) Unity in Computational Logic (Dale Miller, INRIA Saclay, France) Constraint Programming and Optimization Systems (Pascal Van Hentenryck, Brown University, US ) Automatic extraction of knowledge in databases and software engineering, DSIC, Technical University of Valencia, Spain, Held by: César Ferri Ramírez, José Hernández Orallo, María José Ramírez Quintana. Invited Talks Abstract Diagnosis for tccp using a Linear Temporal Logic, Universidad del País Vasco, San Sebastian, Spain. An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages, IMDEA Software Institute, Madrid, Spain. Abstract Diagnosis for Timed Concurrent Constraint programs, Dipartimento di Scienze Matematiche e Informatiche, Univesità degli Studi di Siena, Conference Talks Abstract Diagnosis for tccp using a Linear Temporal Logic, 30th International Conference on Logic Programming (ICLP ), Vienna, Austria. Towards an Effective Decision Procedure for LTL formulas with Constraints, 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2012), Istanbul, Turkey. An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages, 9th ICLP Doctoral Consortium, Istanbul, Turkey. Abstract Diagnosis for Timed Concurrent Constraint programs, 27th International Conference on Logic Programming (ICLP ), Lexington, Kentuky, USA. Seminars Bialgebras for Structural Operational Semantics, DIMI, University of Udine, Abstractions for Hybrid Systems, DIMI, University of Udine, Coinductive Logic Programming, DIMI, University of Udine, Semantics and Verification of tccp programs), DIMI, University of Udine, Type System with abstract interpretation, DIMI, University of Udine, Applications of CLP(FD) at scheduling problems, DIMI, University of Udine, An algebraic semantics for constraint logic programs, DIMI, University of Udine, laura.titolo 5/7

6 Referee Activity 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR ) 30th International Conference on Logic Programming (ICLP ) 7th International Conference on Tests and Proofs (TAP ) 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS ) 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS ) Exam Scores Bachelor s Degree Lingua Inglese (English), 6 CFU, Approved Cultura d impresa (Business knowledge), 1 CFU, Approved Matematica discreta (Discrete mathematics), 9 CFU, score: 30/30 cum laude Architettura degli elaboratori e lab. (Computer architecture and lab.), 14 CFU, score: 30/30 Analisi matematica (Calculus), 12 CFU, score:30/30 Programmazione e lab. (Computer Programming and lab.), 14 CFU, score: 30/30 cum laude Fisica (Physics), 6 CFU, score: 28/30 Elementi di logica matematica (Elements of mathematical logic), 3 CFU, score: 30/30 Calcolo delle probabilitá e statistica (Probability and Statistics), 6 CFU, score: 30/30 cum laude Calcolo scientifico (Scientific Computing), 6 CFU, score: 29/30 Sistemi operativi e laboratorio (Operating Systems and laboratory), 15 CFU, score: 30/30 cum laude Aspetti sociali ed etica professionale (Social aspects and professional ethics), 3 CFU, score: 30/30 Programmazione orientata agli oggetti (Object Oriented Programming), 6 CFU, score: 27/30 Fondamenti dell informatica I (Foundations of Computer Science I), 6 CFU, score: 30/30 cum laude Algoritmi e strutture dati e laboratorio (Algorithms and Data Structures and lab.), 14 CFU, score: 30/30 cum laude Basi di dati (Database and Information Systems), 6 CFU, score: 30/30 Linguaggi di programmazione I (Computer Languages I), 6 CFU, score: 30/30 cum laude Logica matematica (Mathematical logic), 6 CFU, score: 30/30 Ingegneria del software I (Software engineering I), 6 CFU, score: 30/30 cum laude laura.titolo 6/7

7 Fondamenti dell informatica II (Foundations of Coumputer Science I), 6 CFU, score: 30/30 cum laude Linguaggi di programmazione II (Computer Languages II), 6 CFU, score: 30/30 Metodi formali dell informatica I (Formal methods of computer science), 6 CFU, score: 30/30 Comunicazione efficace (Communication Skills), 1 CFU, Approved Lab. av.: Linguaggi di programmazione I (Adv. lab.: Computer Languages I), 4 CFU, score: 30/30 cum laude Reti di calcolatori (Computer Networks), 6 CFU, score: 27/30 Exam Scores Master Degree Semantica dei linguaggi di programmazione (Semantics of Programming Languages), 6 CFU, score: 30/30 Linguaggi di nuova concezione (Modern languages), 6 CFU, score: 30/30 cum laude Interpretazione astratta e analisi automatica del software (Abstact Interpretation and Automatic Software Analysis), 6 CFU, score: 30/30 cum laude Ricerca operativa (Operations Research), 6 CFU, score: 30/30 Compilatori (Compilers), 6 CFU, score: 30/30 Progettazione e analisi orientate agli oggetti (Object Oriented Design and Analysis), 6 CFU, score: 28/30 Teoria dell informazione (Information theory), 6 CFU, score: 30/30 cum laude Intelligenza artificiale (Artificial Intelligence), 6 CFU, score: 30/30 cum laude Complementi di basi di dati (Advances in Database Systems), 6 CFU, score: 28/30 Attended courses at Technical University of Valencia Automatic software engineering (Master ISMFSI) Advanced debugging techniques (Master ISMFSI) Description, simulation and verification of concurrent systems (Master ISMFSI) Logic foundations for software engineering (Master ISMFSI) Automatic Optimization of programs (V year ETSINF) Declarative Programming (V year ETSINF) Formal Methods in software engineering (V year ETSINF) laura.titolo 7/7