Boi Volkert Faltings (born April 10, 1960) is a Swiss professor of artificial intelligence at École Polytechnique Fédérale de Lausanne.