- 开课信息：雷友珣
- 推荐等级：天坑
- 授课内容：理论：SDL协议描述语言、Promela协议验证语言、Unix通信协议实现原理；实践：用SDL描述停等协议、用Promela语言实现并验证之前的协议、用高级语言模拟协议通信过程
- 考核方式：三次大实验 + 闭卷考试
- 作业情况：N次理论作业、3次大实验
- 成绩情况：0-100（是多少就是多少，跳跳雷绝对不会抬你一手）
- 心得体会：教的理论在计算机网络里基本都学过了，而且实践技术实用性差，慎重考虑。
- 其他方面：实验一个个验收，能给你验出三周来，可能还会耽误你其他事儿，我们当时第三组验都等了差不多一节课的时间。理论作业会叮嘱助教查重，不知道用了什么仙术，比论文网站查重都细致，发现重复两人直接重做。以后论文查重可以找老雷人肉查重，这课咱就先别选了。还有，考试不会给任何范围，每页PPT都是重点（一个PPT多的有一两百页）
- 开课信息：雷友珣
- 推荐等级：一般推荐
- 授课内容：理论:协议描述：ProgemaDev软件、SDL语言、协议验证：Promela、Linux协议栈的实现（主要是网络层到传输层）；实践：三个实验对应前面三个，见上面
- 考核方式：闭卷
- 作业情况：三次理论作业，三次实验，对应协议描述、验证、实现（其中实现的部分基本时间不太够了所以做多少交多少）
- 成绩情况：成绩与你的付出基本正比，雷老师的特点是很认真，如果你学的确实很好，会帮你冲分
- 心得体会：雷老师是少有的对待课程如此认真的老师，从计网和通信协议软件设计都能看出来。技术确实不是一个大方向，比较细，所以对以后帮助不是很大。但是你会在第一个实验非常深入的理解什么叫协议，以及滑动窗口协议。
- 其他方面：雷老师人肉查重是真的。不过重点是第一个实验，后两个内容（验证和实现）考的不多，实现方面期末就考了几分（虽然ppt一百多页）