Carlo A. Furia

Carlo A. Furia is a senior researcher and lecturer in the Department of Computer Science of ETH Zurich. In his research he develops models, techniques, methods, and tools to support the analysis, rigorous development, and verification of software and systems. He has taught various courses on software engineering, programming languages, and verification at ETH Zurich. He has a PhD in Computer Science from the Politecnico di Milano.

ETH Zurich

Freedom and individual responsibility, entrepreneurial spirit and open-mindedness: ETH Zurich stands on a bedrock of true Swiss values. Our university for science and technology dates back to the year 1855, when the founders of modern-day Switzerland crea…

53 instructors