Nicola Gigante ,乌迪内大学的博士后研究员,从事由Carla Pi-azza教授领导的EN-CASE项目。主要研究方向:人工智能中的时间控制、计算机科学中的逻辑、形式方法。
参考链接
微信扫码咨询专知VIP会员