Matteo Cimini is an assistant professor at the Department of Computer Science at University of Massachusetts Lowell. His research interests span programming languages and formal methods, with a particular focus in gradual typing, and the analysis of programs and languages.