Област на изследване: кибер и информационна сигурност
Проф. Дейвид Бейсин
Проф. Дейвид Бейсин (ETH Zurich) се присъедини към INSAIT като филиален преподавател, за да ръководи формирането на нова група по сигурност, укрепвайки мисията на INSAIT да развива сигурен и надежден AI.
Проф. Бейсин е редовен професор в ETH Zurich и е ръководител на катедрата по информационна сигурност в Департамента по компютърни науки. Бил е главен редактор на ACM Transactions on Privacy and Security, 2015-2020 г., и на поредицата книги на Springer-Verlag за информационна сигурност и криптография от 2007 г. насам. Той е и основател и директор на ZISC, Центъра за информационна сигурност в Цюрих, който ръководи от 2003 до 2011 г. Обявен е за член на ACM през 2018 г. и член на IEEE през 2021 г. за приноса му към информационната сигурност и формалните методи.
Неговите изследвания са фокусирани върху информационната сигурност, по-специално върху основите, методите и инструментите за моделиране, изграждане и валидиране на сигурни и надеждни системи. Той е разработил, със сътрудници, множество софтуерни инструменти, използвани в академичните среди и индустрията. Те включват Tamarin prover, инструмент за анализ на протоколи за сигурност, системата за проверка на времето за изпълнение MonPoly и инструменти за разработка на системи за сигурност и поверителност по дизайн.
