جست‌وجوی استاد و پژوهشگر

• Formal Methods for Software Engineering
• Java Bytecode Analysis
• Automated Program Verification
• +۳ مورد دیگر

Carlo A. Furia is an Associate Professor in the Software Institute at the Faculty of Informatics , Università della Svizzera italiana (USI) in Lugano, Switzerland. His research focuses on formal methods for software engineering , including automated verification, exception handling analysis, and empirical evaluation of software quality techniques. PhD in Computer Science from Politecnico di Milano Master of Science in Computer Science from University of Illinois at Chicago Laurea in Computer Science and Engineering from Politecnico di Milano Research interests span Java bytecode analysis , software reliability , and Bayesian data analysis for empirical studies. His recent work includes verification tools like AutoProof and empirical comparisons of programming languages. He actively contributes to conferences such as FM , ASE , and journals like Empirical Software Engineering (EMSE) . Teaching includes courses like Software Analysis and Software Design & Modeling . He leads the ATOM research group which develops open-source software analysis tools.