Honors Discrete Mathematical Tools for Computer Science
Undergraduate Course at HKUST CSE - Course Code: COMP 2711H
Fall Semester 2024-25
Number of Students: 84 (68 for credit)
Honors Design and Analysis of Algorithms
Undergraduate Course at HKUST CSE - Course Code: COMP 3711H
Spring Semester 2023-24
Number of Students: 70 (55 for credit)
Average Rating by the Students: 4.95/5.0
Blockchain, Cryptocurrencies and Smart Contracts
Undergraduate Course at HKUST CSE - Course Code: COMP 4541 (Formerly COMP 4901W)
Spring Semester 2023-24
Number of Students: 80 (71 for credit)
Average Rating by the Students: 4.89/5.0
Spring Semester 2022-23
Number of Students: 109 (89 for credit)
Average Rating by the Students: 4.82/5.0
Spring Semester 2021-22
Number of Students: 149 (125 for credit)
Average Rating by the Students: 4.90/5.0
Covered topics:
Hash Functions and Public-key Cryptography
The Double-spending Problem
Bitcoin and Proof-of-Work (PoW)
Proof-of-stake and other alternatives to PoW
Programmable Blockchains
Introduction to Ethereum and Solidity
Implementing Smart Contracts
Commitment Schemes
Auctions and Escrows
Re-entrancy and Out-of-gas Vulnerabilities
Incentivization Bugs
Formal Reasoning about Programs
Undergraduate Course at HKUST CSE - Course Code: COMP 4901X
Summer Semester 2022-23
Number of Students: 44 (27 for credit)
Average Rating by the Students: 5.0/5.0
Advanced Algorithms
Postgraduate Course at HKUST CSE - Course Code: COMP 5711
Fall Semester 2022-23
Number of Students: 39
Average Rating by the Students: 4.58/5.0
Semantics and Verification
Postgraduate Course at HKUST CSE - Course Code: COMP 6613B
Spring Semester 2020-21
Number of Students: 16
Average Rating by the Students: 4.71/5.0
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:
Advanced Complexity Theory (PG, COMP 6931A)
Zero-knowledge Proofs (PG, COMP 6931B)
Axiomatic Probability Theory (UG, COMP 4901F)
Parameterized Algorithms (UG, COMP 4971A)
Martingale Theory (PG, COMP 6931A)
Parameterized Algorithms and Complexity (PG, COMP 6931A)
Computability and Contractability on the Blockchain (PG, COMP 6931A)
Parameterized Algorithms in Computational Algebraic Geometry (COMP4981H)
Parameterized Algorithms in Static Program Analysis (UROP)
Optimization Problems in Blockchain Ecosystems (UROP)