Kevin Fournier
Web site: Web site: https://sma.epfl.ch/
Teaching & PhD
Teaching
Mathematics
Courses
Mathematical logic
Field of mathematics with close connections to the foundation of mathematics and theoretical computer science. The course is centered on 1st order logic and the intricate relations between syntax and semantics.