Dirk Pattinson
RSISE Buliding 115
The Australian National University
Canberra ACT 0200
Australia
E dirk.pattinson@anu.edu.au
T +61 (0)2 6125 8612
F +61 (0)2 6125 8651
The Australian National University
Canberra ACT 0200
Australia
E dirk.pattinson@anu.edu.au
T +61 (0)2 6125 8612
F +61 (0)2 6125 8651
| Teaching | Projects | Research | PhD Topics | Talks | Publications | Software | Haskell |
Semester 1, 2022
Semester 2, 2021
- COMP 1600: Foundations of Computing
- Seminar on Modal and Temporal Logics
Independent Study Options
- Coalgebraic Semantics of Modal Logics
- Modal and Description Logics
- Category Theory and Type Theory