Computer Systems & Security Group, USTC
Courses
Formal Method: [Spring 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 2024]
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.
System Programming: [Fall 2023]
This is an advanced graduate course on programming in C.