UWaterloo ECE Master 一年课程体验
846326
这里写一下我上过的课程吧：
ECE606-Algorithm Design and Analysis (21Fall Prof. Mahesh Tripunitara)
这门课我觉得最好的一点是会涉及到算法正确性、时间复杂度的分析和证明。课程的材料也基本是那本算法的黑书，一个人读可能容易放弃，感觉是教授带着学生读几章，然后学生就知道该怎么下手，比较适应那本书的风格了吧。值得提的一点是，我学这门课的一学期没有刷一道算法题，但是学期结束后参加了Leetcode周赛，反倒排名进步了不少。推荐，不过大佬可以选CS666。
ECE650-Methods and Tools for Software Engineering (21Fall Prof. Vijay Ganesh)
这门课怎么说呢，感觉知识点很杂，涉及到网络安全（缓冲区溢出），涉及到正则表达，涉及到linux 操作系统的一些基本概念，内存管理。再加上一起上课的印度同学们好像基础比较差，爱问，而老师逢问必答，导致课堂效率比较低。最后，让我惊叹的是教授给分的慷慨。。。
ECE751-Distributed Computing (21Fall Prof. wojciech golab)
instant.1point3acres.cn
这门课这里已经有很好的评价了。总的来说，学到了不少东西。但要论硬核还是没有美国一些学校的相关课程叫学生写一个raft硬核。
ECE750-Static Program Analysis (22Winter Prof. Patrick Lam)
这是研讨课，每周读两篇相关领域的论文，一学期选2-3篇论文做presentation。static program analysis只是其中一个topic，还有其他topic可选。做presentation的时候教授还是给了不少指导和很不错的意见。22winter上的，课上5个学生，课前读完论文，然后课上讨论1个半小时，到最后也是尬聊。
ECE653-Testing, Quality Assurance, and Maintenance (22 Spring Prof. Patrick Lam)
这门课其实内容挺扎实的，比起650来说，有一个体系，先讲propositional logic，然后first-order logic，hoare logic，最后Automated Verification。中间也涉及到operational semantics，symbolic execution，fuzzing这些知识。有人可能觉得这些和找工关系不大，我觉得只是这个领域现在不如ML，分布式这些领域火而已。Prof. Lam上这门课很水，大家听之前Prof. Arie gufinkle的录播课的不少。我上过Prof Lam两门课，我觉得他人很有意思，但好像心思已经不在科研上了。patricklam.ca 看他的博客也是游山玩水的。
补充内容 (2022-10-07 06:29 +8:00):
码字不易，同学们觉得有用加个米～
ECE606-Algorithm Design and Analysis (21Fall Prof. Mahesh Tripunitara)
这门课我觉得最好的一点是会涉及到算法正确性、时间复杂度的分析和证明。课程的材料也基本是那本算法的黑书，一个人读可能容易放弃，感觉是教授带着学生读几章，然后学生就知道该怎么下手，比较适应那本书的风格了吧。值得提的一点是，我学这门课的一学期没有刷一道算法题，但是学期结束后参加了Leetcode周赛，反倒排名进步了不少。推荐，不过大佬可以选CS666。
ECE650-Methods and Tools for Software Engineering (21Fall Prof. Vijay Ganesh)
这门课怎么说呢，感觉知识点很杂，涉及到网络安全（缓冲区溢出），涉及到正则表达，涉及到linux 操作系统的一些基本概念，内存管理。再加上一起上课的印度同学们好像基础比较差，爱问，而老师逢问必答，导致课堂效率比较低。最后，让我惊叹的是教授给分的慷慨。。。
ECE751-Distributed Computing (21Fall Prof. wojciech golab)
instant.1point3acres.cn
这门课这里已经有很好的评价了。总的来说，学到了不少东西。但要论硬核还是没有美国一些学校的相关课程叫学生写一个raft硬核。
ECE750-Static Program Analysis (22Winter Prof. Patrick Lam)
这是研讨课，每周读两篇相关领域的论文，一学期选2-3篇论文做presentation。static program analysis只是其中一个topic，还有其他topic可选。做presentation的时候教授还是给了不少指导和很不错的意见。22winter上的，课上5个学生，课前读完论文，然后课上讨论1个半小时，到最后也是尬聊。
ECE653-Testing, Quality Assurance, and Maintenance (22 Spring Prof. Patrick Lam)
这门课其实内容挺扎实的，比起650来说，有一个体系，先讲propositional logic，然后first-order logic，hoare logic，最后Automated Verification。中间也涉及到operational semantics，symbolic execution，fuzzing这些知识。有人可能觉得这些和找工关系不大，我觉得只是这个领域现在不如ML，分布式这些领域火而已。Prof. Lam上这门课很水，大家听之前Prof. Arie gufinkle的录播课的不少。我上过Prof Lam两门课，我觉得他人很有意思，但好像心思已经不在科研上了。patricklam.ca 看他的博客也是游山玩水的。
补充内容 (2022-10-07 06:29 +8:00):
码字不易，同学们觉得有用加个米～
- 48