.

.

Alessandro Tomasi . . Dipartimento di Ingegneria e Scienza dell'Informazione ............................... Faculty of Science .......................................................................................... University of Trento E-mail: tomasi@dit.unitn.it . Phone: +39 0461 28 2079

.

.

.

Work address: ......................................................................................................................................................................... Dipartimento di Ingegneria e Scienza dell'Informazione (DISI) University of Trento Via Sommarive, 5 Polo Scientifico e Tecnologico Fabio Ferrari I-38123 Povo di Trento ITALY

.

.

Personal Details: ........................................................................................................................................................ First and Last Name: Alessandro Tomasi Birth place and year: Trento, 1976 Citizenship: Italian Status: married, two children Laurea in Mathematics at the University of Trento: 2000 Working at Dipartimento di Ingegneria e Scienza dell'Informazione (DISI): from 2001 ................

.

.

Research Interests: ............................................................................................................................................................. Software Engineering IBM Rational Software Visual Paradigm provides University of Trento with VP-UML, SDE-EC, SDE-NB, SDE-IJ, SDE-VS, BPVA, AGfor use in educational purposes, offered by the VP Academic Partner Program. Formal Methods NuSMV: a new symbolic model checker Symbolic Model Checking Interactive Webcasting ePresence Knowledge Diversity (KnowDive) KnowDive Group at Trento Machine Learning and Intelligent OptimizatioN LION laboratory

.

.

IBM Rational Competence Center: ............................................................................................................................ Member of IBM Rational Competence Center and I'm in charge of: Long Life Learning Education based on University Courses

.

.

Publications: ............................................................................................................................................................................. Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia "Model Checking Syllabi and Student Careers". TACAS2001, Tools and Algorithms for the Construction and Analysis of Systems. Genova, Italy, April 2001. Lecture Notes in Computer Science Series, N. 2031 © Springer Verlag

.

.

Teaching: .................................................................................................................................................................................... Academic Year 2001/2002 Docente di Informatica Generale 1 Academic Year 2002/2003 Docente di Programmazione 1 / Informatica Generale 1 Docente di Ingegneria del Software Academic Year 2003/2004 Docente di Programmazione 1 Docente di Ingegneria del Software Docente di Laboratorio di Ingegneria del Software Academic Year 2004/2005 Docente di Programmazione 1 Docente di Processo di Sviluppo del Software Docente di Ingegneria del Software Tutor di Research Methodology Academic Year 2005/2006 Docente di Programmazione 1 Docente di Ingegneria del Software Tutor di Research Methodology Academic Year 2006/2007 Docente di Programmazione 1 Docente di Ingegneria del Software Docente di Research Methodology Academic Year 2007/2008 Docente di Programmazione 1 Docente di Ingegneria del Software Docente di Research Methodology Academic Year 2008/2009 Docente di Programmazione 1 Docente di Ingegneria del Software Docente di Research Methodology Academic Year 2009/2010 Docente di Programmazione 1 Docente di Ingegneria del Software Academic Year 2010/2011 Docente di Programmazione 1 Docente di Ingegneria del Software

.

.

Useful Links: ............................................................................................................................................................................. Google DISI WebMail Ferrovie dello Stato L'Adige La Repubblica Catalogo Bibliografico Trentino Trento Filmfestival Meteo Trentino

.