Governance

Supervisory Board

Prof. Martin Vechev (Chair) Programming Languages and Artificial Intelligence
ACM SIGPLAN Robin Milner Award
ETH Zurich, Switzerland
Founder and architect of INSAIT

Prof. Eran Yahav Programming Languages and Machine Learning
Allon Fellow
The Technion, Israel

Prof. Srdjan Capkun Computer Security
ACM Fellow
ETH Zurich, Switzerland

Prof. James Larus Computer Systems
ACM Fellow
EPFL, Switzerland

Executive Director

Borislav Petrov Executive Director

Advisory Board

Prof. Andreas Krause Machine Learning and Artificial Intelligence
ETH AI Center Director
ETH Zurich, Switzerland

Dr. Slav Petrov Natural Language Processing and Machine Learning
Senior Research Director, Google

Prof. Tom Henzinger Verification and Theory
ACM Fellow
President of IST Austria, Austria

Prof. Virginia Vassilevska Williams Theory and Algorithms
Sloan Fellow
MIT, USA

Prof. Greg Morrisett Programming Languages
ACM Fellow
Dean and Vice Provost, Cornell Tech, USA

Structure

The Institute for Computer Science, Artificial Intelligence, and Technology (INSAIT) is structured a special unit of Sofia University “St. Kliment Ohridski”, with its own regulations. Under this link you can find the actual regulations of INSAIT.