AST 2023
Mon 15 - Tue 16 May 2023 Melbourne, Australia
co-located with ICSE 2023
Pietro Braione

Registered user since Tue 6 Mar 2018

Name:Pietro Braione
Bio:

Pietro Braione received the Dr. Eng. degree in computer science engineering in 2000 and the Ph.D. degree in information technology in 2004, both from Politecnico di Milano (Italy). Since 2007 he is a fulltime researcher at University of Milano-Bicocca. His research interests include formal software verification and analysis, and software testing.

Country:Italy
Affiliation:University of Milano-Bicocca
Research interests:Software Analysis, Software Verification, Software Testing

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile