Алессио Ломушио
Алессио Ломушио | |
|---|---|
| Альма-матер | Университет Бирмингема Политехнический университет Милана |
| Награды | Почетный член ACM (2020 г.) [1] Член Европейской ассоциации искусственного интеллекта [2] |
| Научная карьера | |
| Поля | Верификация мультиагентных и автономных систем |
| Учреждения | Имперский колледж Лондона |
| Диссертация | Обмен знаниями между идеальными агентами (1999) |
| Докторантура | Марк Райан |
| Веб-сайт | https://www.doc.ic.ac.uk/~alessio |
Алессио Ломушио — профессор кафедры безопасного искусственного интеллекта на вычислительной техники факультете Имперского колледжа Лондона . [3] Его исследования сосредоточены на проверке автономных систем, в частности на обеспечении формальных гарантий безопасности как для многоагентных систем, так и для систем с поддержкой машинного обучения .
Образование и академическая карьера
[ редактировать ]Алессио Ломушио вырос в Милане и получил степень Лауреата в области электронной инженерии в Политехническом университете Милана в 1999 году. [4] После этого он перешел в Бирмингемский университет, чтобы получить докторскую степень. на тему «Обмен знаниями среди идеальных агентов» под руководством Марка Райана, которую он представил в 1999 году. [5] Во время работы над докторской диссертацией он получил грант Школы компьютерных наук университета. До прихода в Imperial в 2006 году он работал преподавателем в Королевском колледже Лондона и старшим преподавателем в Университетском колледже Лондона . [6]
Исследовать
[ редактировать ]В 2018 году Ломушио был удостоен звания кафедры новых технологий Королевской инженерной академии за исследование методов проверки автономных систем и искусственного интеллекта . [7] Он возглавляет группу проверки автономных систем (VAS) в Имперском колледже Лондона , где возглавляет исследовательскую деятельность, направленную на разработку методов проверки безопасности мультиагентных систем . [8] Дальнейшие исследовательские интересы включают методы проверки безопасности роевых систем, а также агентов на основе обучения с подкреплением , а также разработку и продвижение формальных алгоритмов проверки для нейронных сетей . [9] Группа имеет ряд прочных связей с отраслевыми и исследовательскими советами, в частности с программой гарантированной автономии Агентства перспективных исследовательских проектов Министерства обороны , а также с Центром подготовки докторантов в области безопасного и надежного искусственного интеллекта. [10] [11] В дальнейших проектах совместно с промышленными и исследовательскими институтами в настоящее время исследуются безопасные алгоритмы прогнозирования событий и безопасность систем персонального помощника с поддержкой искусственного интеллекта. [12]
Он является соавтором ряда наборов инструментов для верификации и проверки моделей , в том числе:
- MCMAS (Проверка символьной модели для многоагентных систем) [4] [13]
- VENUS ( смешанное целочисленное линейное программирование — проверка нейронных сетей с помощью функций активации ReLU ) [14]
- VeriNet (верификация нейронных сетей на основе символьного интервального распространения с ReLU ) функциями активации [15]
Награды
[ редактировать ]Алессио Ломушио — член Европейской ассоциации искусственного интеллекта . [2] В 2020 году ему было присвоено звание Почетного члена Ассоциации вычислительной техники за выдающийся научный вклад в информатику. [16] В 2018 году он был награжден одной из десяти престижных кафедр новейших технологий Королевской инженерной академии. [7]
Ссылки
[ редактировать ]- ^ «ACM награждает выдающихся членов 2020 года за вклад в развитие цифровой эпохи» .
- ^ Jump up to: а б «Стипендиаты ЕврАй» .
- ^ «Дом — профессор Алессио Ломушио» .
- ^ Jump up to: а б «Проверка символьной модели для многоагентных систем» . cs.ox.ac.uk. Проверено 21 марта 2023 г.
- ^ Ломушио, Алессио (1999). «Обмен знаниями между идеальными агентами» .
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ «Можно ли доверять автономным машинам?» . Imperial.ac.uk . Проверено 12 марта 2023 г.
- ^ Jump up to: а б «Имперский академик получил кафедру новых технологий» .
- ^ «SEFM 2022 | Основные докладчики» . sefm-conference.github.io . Проверено 21 марта 2023 г.
- ^ «Группа ВАС | Главная» . doc.ic.ac.uk. Проверено 12 марта 2023 г.
- ^ «Публикации | Портал инструментов гарантированной автономии» . Sure-autonomy.org . Проверено 21 марта 2023 г.
- ^ «Люди — безопасный и надежный ИИ» . Safeandtrustedai.org . Проверено 21 марта 2023 г.
- ^ «Члены команды SAIS» . secure-ai-assistants.github.io . Проверено 21 марта 2023 г.
- ^ Ломушио, Алессио; Цюй, Хунъян; Раймонди, Франко (2009). «MCMAS: средство проверки моделей для проверки мультиагентных систем» . Конспекты лекций по информатике, том 5643 . Компьютерная проверка (CAV 2009). Шпрингер, Берлин, Гейдельберг. дои : 10.1007/978-3-642-02658-4_55 .
- ^ Куварос, Панайотис; Ломушио, Алессио (2021). «На пути к масштабируемой полной верификации нейронных сетей ReLU посредством ветвления на основе зависимостей» . Материалы тридцатой международной совместной конференции по искусственному интеллекту . Международная совместная конференция по искусственному интеллекту (IJCAI-21). Международные совместные конференции по организации искусственного интеллекта. дои : 10.24963/ijcai.2021/364 .
- ^ Хенриксен, Патрик; Ломушио, Алессио (2021). «DEEPSPLIT: эффективный метод разделения для проверки нейронной сети посредством анализа косвенного эффекта» . Материалы тридцатой международной совместной конференции по искусственному интеллекту . Международная совместная конференция по искусственному интеллекту (IJCAI-21). Международные совместные конференции по организации искусственного интеллекта. дои : 10.24963/ijcai.2021/351 .
- ^ «Пресс-релиз — ACM отмечает выдающихся членов 2020 года за вклад в развитие цифровой эпохи» (PDF) . Награды.acm.org . Проверено 12 марта 2023 г.