Alessio Lomuscio

Alessio Lomuscio farfesa ne na Safe Artificial Intelligence a Sashen Kwamfuta a Kwalejin Imperial ta London. Binciken nasa yana mai da hankali kan tabbatar da tsarin masu cin gashin kansu, musamman kan samar da tabbacin tsaro na yau da kullun ga Tsarin wakilai da yawa da kuma tsarin da ke ba da damar Injin Koyon.

 Ilimi da aikin ilimi 
Alessio Lomuscio ya girma a Milan kuma ya sami Laurea a cikin Injiniyan lantarki daga Jami'ar Polytechnic ta Milan a 1999.  Bayan haka, ya koma Jami'ar Birmingham don Ph.D. a kan "Samun Ilimi tsakanin Wakilan Kyakkyawan" a karkashin kulawar Mark Ryan, wanda ya gabatar a 1999. A lokacin Ph.D., an goyi bayansa ta hanyar tallafin Makarantar Kimiyya ta Kwamfuta ta jami'a. Ya yi aiki a matsayin malami a Kwalejin King's London kuma babban malami a Jami'ar Kwalejin London kafin ya shiga Imperial a shekara ta 2006.

 Bincike 
A cikin 2018, an ba Lomuscio lambar yabo ta Royal Academy of Engineering Chair a cikin Fasahar Fasaha don bincike kan dabarun tabbatarwa don tsarin masu cin gashin kansu da Artificial Intelligence. Shi ne shugaban kungiyar Verification of Autonomous Systems (VAS) a Kwalejin Imperial ta London inda yake jagorantar kokarin bincike da ke da niyyar bunkasa hanyoyin tabbatar da amincin Tsarin wakilai da yawa. Ƙarin sha'awar bincike sun haɗa da hanyoyin don binciken aminci na tsarin swarm da kuma masu ba da gudummawa na ilmantarwa da ci gaba da ci gaba na algorithms na tabbatarwa don Cibiyoyin Neural. Kungiyar tana da alaƙa mai ƙarfi da yawa tare da masana'antu da majalisun bincike, musamman shirin tabbatar da ikon cin gashin kansa na Hukumar Bincike ta Tsaro da Cibiyar Horar da Dokta a cikin AI mai aminci da amintacce. Ƙarin ayyukan tare da masana'antu da cibiyoyin bincike a halin yanzu suna binciken algorithms masu aminci don hasashen abubuwan da suka faru da kuma amincin tsarin taimakon mutum na AI.

Ya hada hannu da rubuce-rubuce da yawa na tabbatarwa da kayan aikin Binciken Model, ciki har da:

 MCMAS (Binciken Model na Symbolic don Tsarin Multi-Agent)  
 VENUS (Mixed Integer Linear Programming-aided tabbatar da cibiyoyin sadarwa na jijiyoyi tare da ayyukan kunnawa na ReLU) 
 VeriNet (Symbolic Interval Tabbatar da cibiyoyin sadarwa na jijiyoyi tare da ayyukan kunnawa na ReLU) 

 Kyaututtuka 
Alessio Lomuscio memba ne na Ƙungiyar Turai don Ilimin Artificial .  A cikin 2020 an ba shi lambar yabo ta Babban memba na Ƙungiyar Injin Kwamfuta saboda kyawawan gudummawar kimiyya ga Kwamfuta. A shekara ta 2018 an ba shi daya daga cikin goma masu daraja na Royal Academy of Engineering Chairs a cikin Fasaha mai Fasaha "Imperial academic receives Chair in Emerging Technologies". 

 Manazarta 

Rukuni:Rayayyun mutane