Mostowski Wojciech 教授 波兰籍

2019年被聘为我院讲席教授，担任《程序逻辑验证》课程外教。瑞典哈姆斯塔德大学副教授,他的研究兴趣主要包括软件验证与校验及软件安全。他主要教授课程包括《嵌入式系统数据安全》、《高级面向对象语言编程》及《分布式系统编程》。