|
|
|
|
|
|
Curriculum Vitae
(downloadable vers.)
|
|
|
Research Links
(external links)
|
|
|
|
|
|
Attended Summer Schools
- 17th International School for Computer Science Researchers "Formal Methods: Theory And Practice" - Lipari Island, Italy, July 10-23, 2005
- Bertinoro International Spring School (BISS 2005) - Bertinoro, Italy, March 7- 18, 2005.
|
Attended Tutorials
- Learning Representation and Behavior: Manifold and Spectral Methods for Reinforcement Learning and Markov Decision Processes - Sridhar Mahadevan, Mauro Maggioni – ICML 2006 tutorial - Pittsburgh, Pennsylvania, June 25 – 29, 2006.
- Statistical Approaches used in Machine Learning - B.Apolloni, D.Malchiodi - ECML/PKDD 2004 tutorial - Pisa, Italy, September 20, 2004 [.pdf]
- Mining Unstructured Data - Ronen Feldman - ECML/PKDD 2004 tutorial - Pisa, Italy, September 20, 2004. [.pdf]
- DataMining: From rule learning to relational subgroup discovery - Nada Lavrac - ECAI 2004 tutorial - Valencia, Spain, August 22, 2004.
|
Courses & Exams
- Formal Methods: Theory And Practice (1) - 17th International School for Computer Science Researchers (first week), Lipari Island, Italy, July 2005
- Modeling and analysis of Hybrid and Embedded Systems - Prof. Rajeev Alur
- Abstraction in Model Checking - Prof. Edmund M. Clarke
- The Automata-Theoretic Approach to Verification - Prof. Moshe Vardi
- Model Checking for Nominal Calculi - Prof. Ugo Montanari (Special Guest Speaker)
- Formal Methods: Theory And Practice (2) - 17th International School for Computer Science Researchers (second week), Lipari Island, Italy, July 2005
- Games in System Design and Verification - Prof. Thomas A. Henzinger
- Relational Logic for Software Design - Prof. Daniel Jackson
- Software Model Checking - Prof. Sriram Rajamani
- Practical Static Analysis of Software Systems - Prof. Zohar Manna
- Distribuited System - Prof. Cosimo Anglano - Univ. of Turin, Italy, June 2005
- Decision diagrams and their applications - Prof. Gianfranco Ciardo - BISS Bertinoro International Spring School, Bertinoro, Italy, March 2005
- Approximation, Chance and Networks - Prof. Alessandro Panconesi - BISS Bertinoro International Spring School, Bertinoro, Italy, March 2005
- Multimedia Databases - Prof. K. Selcuk Candan - Univ. of Turin, Italy, December 2004
|
| |
|
