本周日（3月14日）下午1:00，四教4101，彭雨翔、迟舒乘同学会分享自己的工作，时长约为一小时到一个半小时。
彭雨翔：Algebraic Reasoning of Quantum Programs
彭雨翔是姚班2015级（计科50）校友，现于马里兰大学跟从伍骁迪教授，研究量子系统上的编程语言与软件设计。这次 seminar 他将介绍被去年疫情封锁在家期间与伍骁迪教授、应明生教授合作的工作，探讨如何使用代数方法对量子程序进行刻画及应用，以及一些简单的编程语言小科普。如果大家有兴趣的话，他还会分享分享做一个真·冷门方向的小体会。
迟舒乘：Differentiated nonblocking: a new progress condition and a matching queue algorithm
迟舒乘是姚班2017级（计科70）本科生，研究方向是分布式计算中的并发数据结构、算法和 reliability，曾与多伦多大学的 Sam Toueg 教授、Vassos Hadzilacos 教授合作。这次 seminar 迟舒乘同学将介绍自己在多伦多大学交流期间的工作。对于分布式计算中的共享对象和数据结构，他们提出了一个新的 liveness requirement，以及一个符合条件的共享队列算法。相比于传统的共享队列算法，这个算法在公平性上表现出了显著的优越性。
【重复一遍时间地点】今天下午1:00，四教4101
Make IIIS Great Again!
