Formal Reasoning about Programs

Undergraduate Course at HKUST CSE - Course Code: COMP 4901X

Previous Offering: Summer Semester 2022-23

Blockchain, Cryptocurrencies and Smart Contracts

Undergraduate Course at HKUST CSE - Course Code: COMP 4901W

Previous Offering: Spring Semester 2022-23

First Offering

Covered topics:

Advanced Algorithms

Postgraduate Course at HKUST CSE - Course Code: COMP 5711

Previous Offering

Covered topics:

Semantics and Verification

Postgraduate Course at HKUST CSE - Course Code: COMP 6613B

Previous Offering

Covered topics:

Research Courses

I often provide research and self-study courses to particularly talented students in theoretical computer science. If you are a UG/PG student at HKUST and are interested in such courses, please write an email to me. I have offered the following titles in the past: