Department of Mathematics

Search

Prof. Dr. David Alexander Loeffler

(Professor University of Warwick - Coventry)
Prof. Dr. David Alexander Loeffler

Prof. Dr. David Alexander Loeffler

Lecturer at the Department of Mathematics

ETH Zürich

Dep. Mathematik

HG G 33.4

Rämistrasse 101

8092 Zürich

Switzerland

  • 0000-0001-9069-1877
  • V-Card (vcf, 1kb)

Additional information

Course Catalogue

Spring Semester 2025

Number Unit
401-3040-73L Computer Formalisation of Proofs