Governance

Supervisory Board

Prof. Martin Vechev (Chair) Programming Languages and Artificial Intelligence
ACM SIGPLAN Robin Milner Award
ETH Zurich, Switzerland
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. Shafi Goldwasser Cryptography and Security
ACM Fellow and Turing Award
UC Berkeley and MIT, USA
Weizmann Institute of Science, Israel
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. Jennifer Rexford Computer Networks
ACM Fellow
Computer Science Department Chair, Princeton University, USA
Prof. Daniela Rus Robotics
MacArthur Genius Fellow
Director of Computer Science and Artificial Intelligence Laboratory (CSAIL), 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.