Gianluca Basso

Web site:  Web site:  https://sma.epfl.ch/

vCard
Administrative data

Teaching & PhD

Teaching

Mathematics

Courses

Gödel and recursivity

Gödel incompleteness theorems and mathematical foundations of computer science