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


Office hours during advising period (Oct. 18th - Nov 1st):

Research Interests

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

Publications

Teaching

Current Work/Projects

Events

My previous affiliations and education