Микеле Буглизи
Микеле Буглизи | |
|---|---|
| Рожденный | 1962 (61–62 года) Удине, Италия |
| Национальность | итальянский |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Венецианский университет Ка Фоскари |
Микеле Буглизи (родился в Удине в 1962 году) [ 1 ] профессор компьютерных наук [ 2 ] в Университете Ка Фоскари в Венеции . Он был избран ректором этого университета. [ 3 ] [ 4 ] на мандат с 2014-2015 по 2019-2020 годы. [ 5 ]
Научная деятельность
[ редактировать ]Микеле Буглизи занимается анализом и формальными системами в информатике. [ 6 ] с публикациями по моделям коммуникаций [ 7 ] и логическое программирование. [ 8 ]
Ссылки
[ редактировать ]- ^ «Ректор Университета Ка Фоскари» . Университет Ка Фоскари в Венеции .
- ^ «Микеле Бульези» . www.dsi.unive.it .
- ^ «Микеле Бульези, новый ректор Университета Ка Фоскари» . www.ilgazzettino.it .
- ^ «Бульези Микеле - ректор Венецианского университета Ка' Фоскари - CRUI - Конференция ректоров итальянских университетов» . www.crui.it.
- ^ «Ка Фоскари будет голосовать, новым ректором станет профессор Микеле Буглизи» . Венеция сегодня .
- ^ «Мишель Бульези — цитаты из Google Scholar» . ученый.google.com .
- ^ Буглизи, М; Кастанья, Г; Крафа, С. (2001). «Коробочный эмбиент» . Материалы международного симпозиума по теоретическим аспектам компьютерного программного обеспечения . Конспекты лекций по информатике. 2215 : 38–63. дои : 10.1007/3-540-45500-0_2 . ISBN 978-3-540-42736-0 .
- ^ Буглизи, М; Ламма, Э; Мелло, П. (1994). «Модульность в логическом программировании» . Журнал логического программирования . 19 : 443–502. дои : 10.1016/0743-1066(94)90032-9 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
  | Эта биография итальянского академика незавершена . Вы можете помочь Википедии, расширив ее . |