Boi Faltings

Boi Faltings is Associate Professor of Computer Science at the Swiss Federal Institute of Technology, Lausanne.