Mobility:
2007:
- State University of New York (SUNY), USA June 15 - November 30 , Visiting Researcher at Department of Computer Science at Stony Brook (USA) under the supervision of Prof. Scott Smolka and Prof. Radu Grosu
- Lisbon, FBTC Workshop + CONCUR, Portugal , Presentation of a paper
- State of Pennsylvania, UPenn University, USA 16 November , Never 4 Ever - Seminar activity with Prof. Radu Grosu
- University of Bologna Residential Center Bertinoro (FO), Italy - May 28 - 2 June, 7th INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: PERFORMANCE EVALUATION (SFM-07:PE)
- Varenna (CO), Italy , Biomed Grid Summer School 2007
2006:
- State University of New York (SUNY), September 2 - November 30, Visiting Researcher at Department of Computer Science at Stony Brook (USA) under the supervision of Prof. Scott Smolka and Prof. Radu Grosu
- University of Bologna Residential Center Bertinoro (FO), Italy - July 24-19, First International Summer School on Emerging Trends in Concurrency TiC'06
- Santa Margherita de Pula (CA), Italy - July 10-13, LITBIO meeting, NETTAB 2006
- University of Firenze, Italy - June 7-9, PhD course on probabilistic model checking, Prof. Joost-Pieter Katoen - Univ. Aachen (Germania)
- University of Reading, UK - May 28-31, ICCS conference, paper oral presentation
- Bologna, Italy - April 28-29, LITBIO meeting, BITS 2006
2003:
- University of Rostock, Germany - Semptember - December, Collaboration with the Proteum-Zentrum of Rostock University
- Lipari (ME), Italia - July 13-26, XV International School for Computer Science Researcher "Algorithmics for Data Mining and Pattern Discovery"
- Angers, France - April 22-26, ICEIS 2003, 5th International Conference on Enterprise Information Systems
2002:
2001:
- Los Angeles (CA) , USA - Semptember - December, Internship at Italbiz Company




