Alessio Lomuscio博士

我领导这个安全人工智能实验室,在那里，我们开发用于验证的方法和工具AI系统，以便安全部署在社会重要性的应用中。

目前，我们正在进行以下研究地区：

• 神经网络的验证与鲁棒学习以及决策树。
• 航空和金融领域的稳健机器学习。
• 监测机器学习系统。
• 自主系统和AI的保证。
• 神经符号学的验证和确认系统。

我们目前有两个人的空缺博士职位和一名博士后位置.