Matteo Cimini

Assistant Professor Miner School of Computer & Information Sciences 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

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

Comp.3010 Organization of Programming Languages: Summer II 2023, Spring 2023, Fall 2022, Fall 2021, Spring 2021, Spring 2020.

Comp.5310 Design of Programming Languages: Fall 2022, Fall 2021, Fall 2019, Spring 2019, Spring 2018.

Comp.4040 Analysis of Algorithms: Spring 2023, Fall 2020.

Comp.5020 Foundations of Computer Science: Fall 2018, Fall 2017.

Comp.3040 Foundations of Computer Science: Spring 2020.

Current Work/Projects

TypeSoundnessCertifier: Certified Type Soundness, automatically!

The Gradualizer: A supporting tool for automating the shift to gradual typing. (also available at my github)

LANG-N-PLAY: A programming language with languages as first-class citizens

Events

FLOPS 2024. (Int. Symposium on Functional and Logic Programming). PC Member.

OOPSLA 2023. External Review / Artifact Evaluation Committee Member.

EXPRESS/SOS 2023. (Int. Work. on Expressiveness in Concurrency + Int. Work. on Structural Operational Semantics). PC Member.

FLOPS 2022. (Int. Symposium on Functional and Logic Programming). PC Member.

ICFP 2021. PC Member.

ICE 2021 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2021. PC Member.

POPL 2020. PC Member.

ICE 2020 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2020. PC Member.

SLE 2019. (Int. Conference on Software Language Engineering). PC Member.

TFP 2019. (Symposium on Trends in Functional Programming). PC Member.

EXPRESS/SOS 2019. (Int. Work. on Expressiveness in Concurrency + Int. Work. on Structural Operational Semantics). PC Member.

ICE 2019 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2019. PC Member.

IFL 2018. Co-Chair. The 30th Symposium on Implementation and Application of Functional Languages took place at UMass Lowell!

SBMF 2018 (21st Brazilian Symposium On Formal Methods). PC Member.

PLDI 2018 (ERC). External Review Committee Member.

ICE 2018 (Interaction and Concurrency Experience, workshop). PC Member.

POPL 2017 SRC (POPL Student Research Competition). Evaluation Committee Member.

MeMo 2017 (Int. Workshop on Meta Models for Process Languages), satellite workshop of CONCUR 2017. PC Member.

ICE 2017 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2017. PC Member.

EXPRESS/SOS 2016, satellite workshop of CONCUR 2016. PC Member.

PrePost 2016 (Int. Workshop on Pre- and Post-Deployment Verification Techniques), satellite workshop of iFM 2016. PC Member.

ICE 2016 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2016. PC Member.

YR-CONCUR 2015 , satellite workshop of CONCUR 2015. Organizer and PC Chair.

EXPRESS/SOS 2015, satellite workshop of CONCUR 2015. PC Member.

ICE 2015 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2015. PC Member.

EXPRESS/SOS 2014, satellite workshop of CONCUR 2014. PC Member.

PACO 2011 (Int. Workshop on Process Algebra and Coordination), satellite workshop of DisCoTec 2011. Organization Chair and website maintainer.

Artifact evaluation is a great idea!
I am happy to have contributed as evaluator to

PLDI Artifact Evaluation 2018. Evaluation Committee Member.

OOPSLA Artifact Evaluation 2018. Evaluation Committee Member.

OOPSLA Artifact Evaluation 2017. Evaluation Committee Member.

My previous affiliations and education

Research Associate/Postdoc at Indiana University, Bloomington, USA.
Postdoctoral researcher at INRIA - Saclay, France.
Ph.D. in Computer Science, Reykjavik University, Iceland.
Ph.D. advisors: Luca Aceto and Anna Ingólfsdóttir.
I also had a 9-month period as a postdoc at Reykjavik University after graduation.
Master's degree in Computer Science, University of Bologna, Italy.
Master's thesis supervisors: Davide Sangiorgi and Claudio Sacerdoti Coen.
Bachelor's degree in Computer Science, University of Bologna, Italy.
Bachelor's thesis supervisor: Maurizio Gabbrielli.