机构名称：
¥ 1.0
我的研究重点是工程正确且安全的软件系统，旨在使其可靠和值得信赖，尤其是在可靠性至关重要的情况下。我特别有兴趣将传统的软件质量技术适应非传统和复杂系统，例如自动驾驶汽车，关键基础设施以及（最近）AI代理。i在理论与实践的交集中工作，应用严格的软件理论来开发新兴领域的实用解决方案。例如，使用信号时间逻辑正式定义交通法律，然后模糊以找到自动驾驶汽车可以无意中违反它们的方式。此外，我探讨了如何将研究的见解转化为课堂并帮助下一代软件工程师的准备。
周潘-计算与信息系统学院
主要关键词
相关文件推荐
