内容

希腊亚里士多德大学Panagiotis Katsaros教授到我院做学术报告

阅读数:50    发布:2019-07-24 11:03    

       2019717日下午,希腊亚里士多德大学Panagiotis Katsaros教授来到深圳大学计算机与软件学院进行交流访问,我院许智武助理教授、施晓牧副研究员、刘嘉祥博士后接待了来宾。访问期间Katsaros教授以“Correctness of Programs with concurrency and communication (并发通信程序的正确性)”为主题为本院师生做了精彩讲座。讲座中分析了形式化方法验证、基于模型的设计、基于仿真的验证等方法在系统实现中的重要性。并以其近期研究物联网安全性的建模与分析为例,阐述了系统开发过程中如何严谨选择设计验证方法。讲座结束后双方师生就相关领域的研究与学术问题进行了热烈的讨论。

201907243.png

201907244.jpg

深圳大学计算机与软件学院 2009-2016