Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Carlo A. Furia

Registered user since Sat 20 Feb 2016

Name:Carlo A. Furia
Bio:

Carlo A. Furia is an associate professor at the Software Institute in the Faculty of Informatics of the Università della Svizzera Italiana (USI). His research interests center around developing rigorous yet practical techniques and tools to help improve the quality, correctness, and reliability of software and systems; much of his work aims at making verification and formal methods practical and widely applicable. He has a PhD in computer science from the Politecnico di Milano. Before joining USI, he was an associate professor at Chalmers University of Technology. Before Chalmers, he spent about seven years as senior researcher at ETH Zurich.

Country:Switzerland
Affiliation:Università della Svizzera italiana (USI)
Personal website:http://bugcounting.net
Research interests:formal methods, verification, software engineering, dynamic analysis

Contributions

FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
MSR 2021 How Java Programmers Test Exceptional Behavior
ICSE 2021 Bayesian Data Analysis for Software Engineering
Show activities from other conferences

ICSE 2021-profile
View general profile