Home | Research | Papers | Private | Dep.

teaching is a social activity Bernhard's Teaching

The University of Sussex
Bernhard's page  [ main ]
Research  [ research ]
Papers  [ papers ]
Private  [ private ]
 
Back to Informatics  [ informatics ]
[ office hours ]
Monday 12-1, Thursday 11-12 in Chi 2- 2R307
(or by appointment)
 
[ admin ]
Deputy Chair of the Informatics Undergraduate Exam Board
Convenor of Computer Science (UG) Programme
UG Project Co-ordinator
 
[ teaching 10/11 ]
Databases (Autumn), ug
Limits of Computation (Autumn) ug & pg
Advanced Software Engineering (Autumn) (only Formal Methods part), pg
Topics in Computer Science (Spring) (only part), pg
 
[ former teaching ]
Principles of Programming Languages (sum 01-07)
Computability and Complexity (spring 01-03)
Functional Programming (spring 02-03)
 
[ teaching at LMU]
[ Computer Science I | Domain Theory | seminar "Semantics of object-oriented concepts" | Semantics and Verification | seminar "Object-oriented principles in Java" | seminar Is Java secure? | Java term project | Type theory & Applications (with Th. Altenkirch) Computer Science I | Computer Science IV | Foundations of Programming | Coding Theory | open day talk on Java ]
 
[ former students ]
Jan Schwinghammer PhD
Reasoning about Denotations of Recursive Objects, 2005
Donald K. Day Master's thesis
Tatjana Hein Master's thesis



Page maintained by Bernhard Reus