Undergraduate (3rd year) Department of Computer Science, School of Engineering
This course covers the fundamental concepts and techniques for implementing programming languages, including parsing, type systems, and code generation.
Undergraduate (3rd year) Department of Computer Science, School of Engineering
Hands-on programming experiments and exercises to reinforce computer science concepts through practical implementation.
Graduate Graduate School of Informatics
Advanced study of formal semantics of programming languages, including operational, denotational, and axiomatic semantics.
Graduate Graduate School of Informatics
Theory and practice of system verification, covering model checking, theorem proving, and practical verification tools.