D-INFK news channel
All stories by Leonid Leiva Ariosa and Olivier Nüesch
“Programs are mathematics turned into physics”
- Spotlight
- Programming Language Foundations Lab
- Front – Spotlight
ETH Zurich professor Ralf Jung is on a mission to create a world in which buggy software is a thing of the past. His tools for achieving that goal are also his biggest intellectual passions: mathematics and logic.
by Leonid Leiva Ariosa and Olivier Nüesch