Факултет
През 1974 г. завършва Ecole Polytechnic (Франция) и става инженер. През същата година получава магистърска степен по компютърни науки от Станфордския университет (САЩ). Получава докторска степен през 1985 г. в университета Анри Поанкаре (Франция). От 2011 г. Б. Майер е ръководител на катедрата по софтуерно инженерство и верификация на програми в Санкт Петербургския държавен университет по информационни технологии, механика и оптика (ITMO). Изпълнителен директор и основател на Eiffel Software. От 2003 г. директор на Лабораторията за софтуерно инженерство във Висшето политехническо училище (ETH Zurich, Швейцария), което заема 13-то място в класацията на най-добрите университети в света според Times Higher Education).
Мануел Мадзара получава магистърска степен (2002) и докторска степен (2006) от Университета на Болоня (Bologna University, Италия). Бил е разработчик в Microsoft, участвал е и в проекти на ООН. Мануел Мазара работи в Нюкасълския университет (Великобритания) по проекта DEPLOY, през 2012 г. заема позицията на програмист в Университета на ООН в Макао (Университет на ООН, Китай).
Джанкарло Сучи получава бакалавърска степен по електроинженерство от Университета на Генуа (Genoa University, Италия), магистърска степен по компютърни науки от Държавния университет на Ню Йорк (САЩ), докторска степен по компютърно и електроинженерство от Университета на Генуа (Genoa University, Италия) през 1993 г. Има докторска степен в Италия и Канада.
Получава докторска степен по компютърно инженерство от университета Kyung Hee, Република Корея. А. Хан повече от 8 годинизанимава се с научна и преподавателска дейност. От 2011 г. А. Хан е професор и водещ изследовател в Ajou University (Република Корея) (Катедра по информационни технологии и компютърно инженерство). Изследователските му интереси включват: машинно обучение, анализ на данни, моделиране на данни, изчисления, съобразени с контекста, контекстно разпознаване чрез сензори за носене и изображения и ориентирани към човека мобилни приложения.
Завършва Московския държавен университет и получава диплома там. Редица години провежда научни изследвания и преподава както в български, така и във водещи чуждестранни университети – Швейцарското техническо училище (ETH Zurich, Швейцария), 2000-2006 г., и Федералното политехническо училище в Лозана (EPFL Lausanne, Швейцария), 2009-2010 г.
Николай Шилов завършва Механико-математическия факултет на Новосибирския държавен университет през 1983 г. и след това защитава докторска дисертация в Новосибирския изчислителен център на Академията на науките на СССР през 1987 г.
От 1987 г. Николай работи като научен сътрудник в Института по информационни системи. А.П. Ершов (Българска академия на науките), преподавал в Новосибирския държавен университет и в чужбина: Технологичния университет в Сидни (Австралия), Назарбаевския университет (Казахстан), Кентърбърийския университет, Крайстчърч (Нова Зеландия), Корейския институт за напреднали науки и технологии, Университета Чунг-Анг и Института за напреднали технологии на Samsung (Южна Корея).
Областта на научните интереси е теорията на програмирането и приложната логика (в съответствие с традицията, основана от Андрей Петрович Ершов и Борис Абрамович Трахтенброт). Настоящите му научни интереси са в областта на математиката.основите на формалните методи и техните приложения за програмен анализ, информация, разпределени и мултиагентни системи.
Изследователските интереси включват формални модели за разработка и проверка на софтуер, проблеми с удовлетворяване на ограниченията и едновременно програмиране на ограничения. Разработил няколко инструмента за комбиниране на формални методи в разработката на софтуер, за да помогне за подобряване на тяхното качество. Има докторска степен (2011-2014), магистърска степен (2009-2010) и бакалавърска степен (2003-2009) по компютърни науки и инженерство (Университет Хавериана, Колумбия). В миналото той е участвал в разработката на Центъра за симулация на материали и процеси (MSC) в Калифорнийския технологичен институт, а също така е участвал в разработването на различни изследователски проекти, използвайки програмиране с ограничения. Той също така е работил като научен сътрудник в Института за интерактивни технологии на Мадейра (Madeira-ITI), разработвайки инструменти за комбиниране на формални методи в разработката на софтуер. В момента Виктор също е член на изследователската група AVISPA.
Анджело Месина има диплома по инженерство от Политехническия университет в Торино, Италия, докторска степен по електроника от Висшето училище по телекомуникационни технологии и информатика (TE.E.I) на Министерството на отбраната и е завършил курсове за военно обучение за генералния щаб и общия щаб на щаба. Служил е като ръководител на разработката на гъвкав софтуер в италианската армия: в продължение на 2 години той управлява екипи (до седем) за създаване на високонадежден софтуер. Като заместник-директор по развитието на научните изследвания и висшTechnologies на Европейската агенция по отбрана се занимаваше с военни изследвания в областта на извличането и обработката на данни. В продължение на 4 години е работил като инженер на комплексен команден пункт (BMC4I) в Агенцията за управление на системите за противовъздушна отбрана със среден обсег на НАТО, САЩ.
Работил е като старши научен сътрудник в Националния университет на Сингапур (NUS). Той завършва своето следдипломно обучение в Университета на Орхус в Дания през 2007 г. в специален Център за фундаментални изследвания в компютърните науки, който е посветен на изследвания в такива фундаментални области на компютърните науки като логика, семантика и алгоритмика. Текущият изследователски интерес е разработването на софтуер и сигурността, пример за такъв продукт е автоматизираното отстраняване на неизправности в софтуера, при което на разработчиците се предлага да коригират грешки, свързани със сигурността.
Алберто Силити – преподавател, ръководител на лабораторията по киберфизични системи. А. Силити има докторска степен по електроника и компютърно инженерство от Университета в Генуа, Италия през 2005 г. Неговите научни интереси включват разработването на мобилен и непостоянен софтуер и оценката на качеството на киберфизическите системи.
През 2010-2013 г. е постдоктор по програмата на името на. Мария Кюри в Университета на Тренто, Италия, разработва сензорна система за робот и алгоритми за обработка на 3D данни и преподава мехатроника и обработка на данни на студенти.