Boi Faltings is a Swiss professor of artificial intelligence at École Polytechnique Fédérale de Lausanne.