Last but not least, @JulesJacobs5 is the third new professor joining D-INFK this September. His research focuses on formal verification, programming languages and making software more correct and secure.
Welcome, Jules! 👋
👉 Read the full interview: inf.ethz.ch/news-and-event…
Official Twitter page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.

