.

.

Alessandro Tomasi . . Dipartimento di Ingegneria e Scienza dell'Informazione ............................... University of Trento E-mail: alessandro.tomasi@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: .................................................................................................................................................................................... From Academic Year 2002/2003 until now Docente di Programmazione 1 Docente di Ingegneria del Software Academic Years 2004/2005 and 2005/2006 Docente di Processo di Sviluppo del Software Tutor di Research Methodology Academic Years 2001/2002 and 2002/2003 Docente di Informatica Generale 1

.

.

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

.