Photo of Matteo Cimini

Matteo Cimini

Assistant Professor
Miner School of Computer & Information Sciences
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, interactive theorem proving, concurrency theory, process algebra, behavioural equivalences, bisimulation and coinductive techniques.




My previous affiliations and education