Dirk Pattinson
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
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