Click for Dan Hirsch’s “Avatar”

Dan Francisco Hirsch

Dipartimento di Informatica
Università di Pisa

Largo Bruno Pontecorvo, 3
I-56127 Pisa

Tel.: +39 050 2213156

Fax: +39 050 2212726

Room: 345


My son Juan Ignacio

·                   2005 June

·                   2005 June

·                   2004 September (by Marzia Buscemi)

·                   2003 June

·                   2002 December

·                   2000 April

·                   1999 May (75 days)

·                   1999 May (45 days)

·                   1999 March (2 days old)

Do NOT click on this link or this one

Actual Position

Department of Computer Science, University of Pisa

Research Associate under contract with
European Commission
IST-FET Global Computing 2 project
Software Engineering for Service-Oriented Overlay Computers


Department of Computer Science, University of Buenos Aires

Assistant Professor (on leave)

Research Interests

My main research interests are the application of Formal and Semiformal Methods for Software Engineering, especially (but not restricted to) the development of models, languages and tools for the specification and verification of Software Architectures. Of special interest for the application of these studies are the areas of concurrent/distributed and mobile systems in the context of Global Computing and Service Oriented Architectures.


Formal approaches applied in our work (until now):

·         Graph Transformation Systems

·         Calculi for Mobile Processes

·         Modal Logics and Model Checking techniques