FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
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

ICSE 2024-profile
View general profile