Smily Hug Welcome Smily Hug WelcomeMarco Comini

Associate Professor

Dipartimento di Matematica e Informatica (DIMI)
Università di Udine

Research Activities

Leader of the FLIT research group


Semantics of Logic Languages.
Abstract Interpretation.
Abstract and Declarative Diagnosis of Logic Programs.
Verification of Logic Programs.
Verification of Functional-Logic Programs.
Verification of Functional Programs.
Categorical Semantics.

More information is (hopefully) available in the curriculum


See my current activities
Current activities
see some info
Information on Marco Comini


See my Curriculum Vitae
Curriculum Vitae (in English)

last updated 2013/05/21

Leggete il mio Curriculum Vitae
Curriculum Vitae (in Italian)

last updated 2013/05/21

Teaching Activities

I'm teaching, or I've thought, (in) the courses

Student's resources

a page in Italian for students at the University of Udine

info icon Hello icon
Further information is here.

mail icon Send Comment And Suggestions to
Marco Comini <>
Last modified: 12-Dec-2013 12:15