Matteo Cimini



Assistant Professor
Department of Computer Science
University of Massachusetts Lowell

Address:
Department of Computer Science
University of Massachusetts Lowell
198 Riverside St.
Lowell, MA 01854

Office: Olsen Hall, room 211
Phone: 978-934-3682
Email: matteo_cimini [A_T] uml [DOT] edu


Research Interests

Programming languages, formal semantics, type systems, gradual typing, software verification, proof theory, interactive theorem proving, concurrency theory, process algebra, behavioural equivalences, bisimulation and coinductive techniques.

Publications

Teaching

Current Work/Projects

Events

My previous affiliations and education