时隔6年再次收到了王老师的赠书😊
2018年我们准备开始做形式化相关的软件课题
但苦于没有技术积累
通过各种渠道论文参考都共同指向了王老师的团队
带着自己的问题冒昧地给王老师发了邮件
慷慨激昂表达了自己的不足以及对王老师团队强烈的合作渴望
得到王老师的回复后
仓促的只身前往北京拜访
在计算机系教研室第一次见面
很和善的一位老教授
详细的给讲了技术实现和技术规划
这次见面基本上就确定了后面8年的技术路线
再后来项目启动
在王老师的引荐下董渊、施晓牧、贺飞、康烁几位老师先后来进行了培训交流
能力慢慢的建立了起来
产品也逐渐成型
回想起来发邮件的那天晚上真是奇妙啊
