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

ICSE 2024 Committee Member in New Ideas and Emerging Results within the New Ideas and Emerging Results-track
FormaliSE 2023 Committee Member in Program Committee within the FormaliSE 2023-track
TAP 2023 Committee Member in Program Committee within the Research Papers-track
EASE 2023 Committee Member in Program Committee within the Research (Full Papers)-track
ICSE 2023 Committee Member in New Ideas and Emerging Results within the NIER - New Ideas and Emerging Results-track
ICSE 2022 Committee Member in Program Committee within the SRC - ACM Student Research Competition-track
FormaliSE 2022 Committee Member in Program Committee within the FormaliSE 2022-track
ESEC/FSE 2021 Author of Restore: Retrospective Fault Localization Enhancing Automated Program Repair within the Journal First-track
ICSE 2021 Author of Bayesian Data Analysis for Software Engineering within the TB - Technical Briefings-track
FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
MSR 2021 Author of How Java Programmers Test Exceptional Behavior within the Technical Papers-track
ICSE 2020 Author of Bayesian Data Analysis in Empirical Software Engineering Research within the Journal First-track
MSR 2020 PC Member in Registered Reports Committee within the Registered Reports-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
FTfJP 2019 Committee Member in Program Committee within the FTfJP 2019-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
VerifyThis 2019 Committee Member in Organizing Committee within the VerifyThis-track
PLDI 2018 Committee Member in Student Research Competition Committee
* ICSE 2018 * Registarion Chair in Organizing committee
Committee Member in SCORE Program Committee within the SCORE-track
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track
FTfJP 2016 Committee Member in Program Committee within the FTfJP-track