Dipartimento di Matematica e
Informatica (DIMI)
Università di Udine
Leader of the FLIT research group
Interests:
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
Current activities |
Information on Marco Comini |
|
|
I'm teaching, or I've thought, (in) the courses
a page in Italian for students at the University of Udine