|
|
Dan Francisco Hirsch
Dipartimento
di Informatica Largo Bruno Pontecorvo, 3 Tel.: +39 050 2213156 Fax: +39 050 2212726 Email: dhirsch_AT_di.unipi.it |
My son Juan Ignacio ·
2004 September
(by Marzia Buscemi) Do NOT click
on this link or this one
|
Actual Position
|
|
Department
of Computer Science, University of Pisa Research
Associate under contract with |
|
|
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
|
|
|
|
|
|
