Alberto Ciaffaglione

Alberto Ciaffaglione, PhD

Università degli Studi di Udine
Dipartimento di Matematica e Informatica, via delle Scienze 206 - 33100 Udine (Italy)

Currently Post Doc (Assegnista di Ricerca) at the Department of Mathematics and Computer Science of the University of Udine.
In the past, Post Doc (Research Fellow) at the Department of Informatics of the University of Sussex, Brighton (United Kingdom),
and PhD student in Computer Science at the University of Udine and the Institut National Polytechnique de Lorraine, Nancy (France).

Phone: +39.0432.558491

Fax: +39.0432.558499

E-mail: name.surname@uniud.it

Office: Ufficio Assegnisti

Research

Member of the Formal Methods and Logics of Computation group in Udine.
Former member of the Foundations of Computation group in Brighton and the Protheo group at LORIA in Nancy.
Principal interests:

Type Theory-based Formal Methods (Coq proof assistant):
Exact Real Numbers, Object-based calculi, Unlimited Register Machine.
Proof techniques for mobile, distributed processes.
Type systems for functional, object-based calculi.

Publications.

Teaching

Laboratorio di Architettura degli Elaboratori (A.A. 2011/12, Laurea in Informatica)
Laboratorio di Programmazione (A.A. 2010/11, Laurea in Informatica)
Informatica Generale e Basi di Dati per Archivi Musicali (A.A. 2010/11, Laurea in DAMS - Musicologia)