Matteo Cimini

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

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.



Current Work/Projects


My previous affiliations and education