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.



Current Work/Projects


My previous affiliations and education