About INSAIT
What is INSAIT
Why work in Sofia
Diversity, Equity and Inclusion Statement
Research Areas
Machine Learning
Computer Vision
Quantum Computing
Automated Reasoning
Cyber Security
Formal Methods
Systems and Networks
Natural Language Processing
Programming Languages
Algorithms and Theory
Data Management
Faculty
Faculty members
Join as Faculty
PhD studies
PhD Mentors
PhD Students
Apply for PhD
DeepMind PhD Scholarships
Governance
Supervisory Board
Executive Director
Advisory Board
Conference
Internships
News
Support
Contact
Governance
Supervisory Board
Prof. Martin Vechev (Chair)
Programming Languages and Artificial Intelligence
ACM SIGPLAN Robin Milner Award
ETH Zurich, Switzerland
Prof. Eran Yahav
Technion, Israel
CTO, Tabnine
ACM Robin Milner Young Researcher Award Winner
ERC Consolidator Grant Winner
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. Dragomir Radev (Chair)
Natural Language Processing and Artificial Intelligence
ACM, ACL, AAAS, and AAAI Fellow
Yale University, USA
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