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

FTfJP 2019Committee Member in Program Committee within the FTfJP 2019-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
VerifyThis 2019Committee Member in Organizing Committee within the VerifyThis-track
FormaliSE 2018Committee Member in Program Committee within the FormaliSE 2018-track
PLDI 2018Committee Member in Student Research Competition Committee
FTfJP 2016Committee Member in Program Committee within the FTfJP-track
* ICSE 2018 *Registarion Chair in Organizing committee
Committee Member in SCORE Program Committee within the SCORE-track