Prof. Marco Comini
Telefono +39 0432 558447
Stanza: SE22
Sito web personale: http://www.dimi.uniud.it/comini/
Breve curriculum
- Master’s Degree in Computer Science at the University of Pisa (1993)
- Diploma di Licenza (Special Master’s Degree) in Computer Science, Scuola Normale Superiore di Pisa (1993)
- PhD in Computer Science at the University of Pisa (1998).
- Guest-researcher at IDA, Linköping University, Sweden (1998)
- Post-Doctoral grant by INRIA, Rocquencourt-Paris, France (1999).
- Van Vleck Visiting Assistant Professor of Mathematics in the Mathematics Department at Wesleyan University, Middletown CT, USA (1999)
- Researcher/Assistant Professor in Computer Science at the University of Udine from 2000 to 2005.
- Associate professor of Computer Science at the University of Udine from November 2005.
Attivita' di ricerca
- Semantics of Logic Languages.
- Abstract Interpretation.
- Abstract and Declarative Diagnosis of Logic Programs.
- Verification of Logic Programs.
- Verification/Diagnosis of Functional Programs.
- Verification/Diagnosis of Functional-Logic Programs.
- Verification/Diagnosis through Categorical Semantics.
- Verification of UML diagrams with OCL constraints.
Progetti di ricerca
- 1998–2000 Formal Systems for the specification, analysis, verification, synthesis and transformation of software systems
- 1998–2000 Verification, analysis and transformation of Logic Programs
- 2000–2001 Automatic program certification by abstract interpretation
- 2001–2002 Abstract Interpretation, type systems and control-flow analysis
- 2004–2005 WEB-based management and representation of spatial and geographic data
- 2005–2006 AIDA - Abstract Interpretation: Design and Applications
- 2007-2008 BISCA -
