FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Claudio Mandrioli

Registered user since Thu 23 Jul 2020

Name:Claudio Mandrioli
Bio:

Since January 2023, I am a Research Associate (post-doc) at the Software Verification and Validation Lab, University of Luxembourg, headed by prof. Domenico Bianculli.

I received my PhD from Lund University, department of Automatic Control, working with Martina Maggio. During my PhD, I started collaborating with the Software Verification and Validation Lab at the University of Luxembourg working with Seung Yeob Shin, Domenico Bianculli and Lionel Briand. This collaboration led to my current position. Previously, I obtained my master and bachelor degrees in Automation and Control Engineering from Politecnico di Milano, respectively in 2017 and 2015.

Country:Luxembourg
Affiliation:University of Luxembourg
Personal website: https://mancla.github.io
Research interests:Software testing, Control systems verification

Contributions

Show activities from other conferences

Using general profile