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.
More info here.

Filter Courses within "Carlo A. Furia" (Click to filter)
Reset Filters | Advanced Global Search
Computing: Art, Magic, Science - Part II (edX) EdX
ETH Zurich,ETHx

Computing: Art, Magic, Science - Part II (edX)

CS: Software Engineering

Dive deeper into the world of computing with 'Computing: Art, Magic, Science - Part II', an advanced course that builds upon foundational concepts introduced in Part I. This course is designed to enhance your understanding of functional programming, design patterns, loop invariants and other critical topics in computer science.

No sessions available
5-12 Weeks
Programming Computing Software Engineering
Details
Page 1