形题展示发言稿范文

尊敬的评委老师，大家好！首先感谢本次形题展示的机会，让我有机会展示近期研究的成果。我的研究方向是形式化验证和模型检测，在此我将向大家分享我的研究成果。我针对于一些复杂系统中存在的并发问题，提出了一种基