讲座题目：Model-Checking Yampa Programs in a Discrete Runtime Environment Using Uppaal 主讲人：Shoji Yuen教授 主持人🚣♀️：李鑫 开始时间：2019-06-03 14:00:00 结束时间👩❤️💋👩：2019-06-03 15:00:00 讲座地址：中北校区理科大楼B1002 主办单位🤾♀️：计算机科学与软件工程学院
报告人简介： Shoji Yuen is Professor and Head of Department of information Engineering of Nagoya University, Japan. He received Ph.D. from Nagoya University in 1997. He has been a Professor at the Graduate School of Informatics of Nagoya University since 2007. His research interests are theories and applications of concurrency, especially for communicating software systems. Based on the theoretical framework of communicating processes, he has been working on the additional notion of data, and time to extend the application of the framework. |
