Matteo Cimini



Assistant Professor
Department of Computer Science
Kennedy College of Sciences
University of Massachusetts Lowell

Address:
Department of Computer Science
University of Massachusetts Lowell
1 University Ave.
Lowell, MA 01854

Office: Dandeneau Hall, office 324
Phone: 978-934-3682
Email: matteo_cimini [A_T] uml [DOT] edu


I am currently looking for motivated graduate students.
Research topics: Gradual typing and/or automatic verification of programming languages

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