Computer Systems & Security Group, USTC

Home
Publications
Projects
Courses
Members

Courses

System Programming: [Fall 2024]

This is an advanced graduate course on system programming in C.

Formal Method: [Fall 2024]

This is an advanced graduate course on formal method foundations. The primary goal of this course is to provide students with an understanding of the basic concepts of formal methods, and their applications in computer science, especially in software modeling, computer security and program verification.Roughly, there are six board topics will be covered: mathematical logic, dependent type theory, proof theory, functional programming, SAT and SMT, program modeling.

Principles of Programming Languages: [Spring 2025]

This is an advanced graduate course that discusses programming language reasoning and design. The primary goal of this course is to provide students with a more modern and sophisticated perspective on languages and programming practice. Our discussions will include but not be limited to these topics: functional programming,constructive logic,type theory,program semantics,proof theory.