Marco Comini

Professore associato
Email: marco.comini@uniud.it
Stanza: SE22
Telefono: +39 0432 558447

Sito personale: 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.

Attività 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 -

Aree di ricerca della matematica

  • Logica Matematica

Aree di ricerca dell'informatica

  • Biologia computazionale
  • Fondamenti dell'informatica
  • Ingegneria del software
  • Linguaggi di programmazione
  • Logiche, algoritmi e automi
  • Metodi formali e applicazioni