Dino Mandrioli
Professor
Politecnico di Torino
ItalyResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Professor Dino Mandrioli is a faculty member at Politecnico di Milano, Italy. His research focuses on model checking and formal verification, particularly in the areas of operator precedence languages and collaborative robotics. Recent publications include works on operator precedence temporal logic and safety assessment of robotics through automated verification techniques.
Articles (3)
Year:
2023
Year:
2020
Year:
2020
Collaborators (4)
Matteo Pradella
Associate Professor
Politecnico di Milano
ITALY
MEHRNOOSH ASKARPOUR
Adjunct Assistant Professor
McMaster University
CANADA
Michele Chiari
TU Wien
AUSTRIA
Matteo Rossi
Associate Professor
Politecnico di Torino
ITALY
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.