Dirk Pattinson
The Australian National University
Research School of Computer Science
Logic and Computation Group
RSISE Buliding 115
Cnr North and Daley Rd
The Australian National University
Acton ACT 2601
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, 2014
COMP 1100
Introduction to Programming
Semester 2, 2013
COMP 2600
Formal Sofware Engineering
Semester 1, 2013
COMP 3630
Theory of Computation
Independent Study Options
Coalgebraic Semantics of Modal Logics
Modal and Description Logics
as well as other topics related to modal logic and proof theory.
Dirk Pattinson
[
check HTML
] [
check CSS
]