糖心Vlog

一、课程内容

Programming with Invariants

 Invariants are the central tool for reasoning about the correctness of programs and systems. In this class, you'll see how you can use invariants to design a wide variety of programs and systems, ranging from classic algorithms to lock free data structures, distributed algorithms, hybrid system controllers, and cryptographic protocols.

二、预期目标

Teach students to use invariants to design programs and systems.

三、课程时间及地点安排

6月30日-7月4日，每天上午2-3节，下午5-6节，共20学时

地点：电子楼阶梯教室

四、教师介绍

Ernie Cohen 博士毕业于德克萨斯大学奥斯汀分校计算机科学系，供职于贝尔通信研究院，Telcordia公司（光通信领导者，后被Ericsson收购）和微软公司，拥有丰富工业背景和经验，并长期在微软研究院，微软创新中心担任研究员。Ernie博士从2012年开始任职宾夕法尼亚大学，担任客座教授。承担计算机系程序设计、形式语言、嵌入式和并发编程等核心课程的教学工作。Ernie博士的研究领域涉及形式化方法、计算机安全、网络与操作系统、通信协议、计算理论以及优化方法等多个方面，在ACM SIGPLAN Transact, ACM Transactions on Computational Logics，ITP上发表多篇论文，并取得十多项美国专利。他同时担任三个IFIP工作组成员，连续两届担任verified software领域主要会议VSTTE的大会主席/程序委员会主席。