Matteo Pradella

Associate Professor

Politecnico di Milano
Country flagItaly

Research Interests

Explore related searches

Professors in Italy

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Matteo Pradella is an Associate Professor at Politecnico di Milano in Italy. His research areas focus on functional programming, model checking, and operator precedence languages. Recent publications include a review on verified functional programming in Agda and studies on operator precedence temporal logic. His work contributes significantly to the development and understanding of formal methods in computer science.

Articles (4)

Year:

2024

Year:

2023

Year:

2020

Year:

2020

Collaborators (2)

Dino Mandrioli

Professor

Politecnico di Torino

ITALY
View details

Michele Chiari

TU Wien

AUSTRIA
View details
ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.