Phone: +39.0432.558491
Fax: +39.0432.558499
E-mail: name.surname@uniud.it
Office: Ufficio Assegnisti
Member of the Formal Methods and Logics of Computation group in Udine.
Principal interests:
Principal interests:
- Type Theory-based Formal Methods
(the Coq proof assistant):
exact real numbers, object-based calculi, computational metamodels, The POPLmark Challenge. - Proof techniques for mobile, distributed processes.
- Reversible computation, involutions, and types.
- Type systems for functional, object-based calculi.
Publications
-
See DBLP (computer science bibliography)