MISSION
“INSAIT’s mission is to transform the world through excellence in science, research, and education. At INSAIT, we believe an immersive and inspiring environment, which encourages human creativity, curiosity-driven exploration, and freedom of thought, is paramount to shaping the true thought leaders of tomorrow who invent stunning technologies that change the world and capture the human imagination.”
Prof. Martin Vechev
Founder and Scientific Director of INSAIT
People
World-leading professors and researchers form the supervisory and advisory boards of INSAIT.
Prof. Virginia Vassilevska Williams
Theory and Algorithms, Sloan Fellow
Prof. Greg Morrisett
Programming Languages, ACM Fellow, Dean and Vice Provost of Cornell Tech
Prof. James Larus
Computer Systems, ACM Fellow
Prof. Tom Henzinger
Verification and Theory, ACM Fellow, President of IST Austria
Prof. Eran Yahav
Programming Languages and Machine Learning, Allon Fellow
Prof. Martin Vechev
Programming Languages and Artificial Intelligence, ACM SIGPLAN Robin Milner Award
Prof. Srdjan Capkun
Computer Security, ACM Fellow
Prof. Andreas Krause
Machine Learning and Artificial Intelligence, ETH AI Center Director
Dr. Slav Petrov
Natural Language Processing and Machine Learning, Senior Research Director
