Mark Ryan - Teaching

2005/6 session

System Software Components 1 (coordinator)
Computer Security

Previous sessions

Software Workshop 2 Java (2004)
Computer security (2003)
Computer Security (2004)
Software Workshop 1A and 1A(A) (20cr and 10cr, Sem 1)
- First-year Workshop home page (sem2)
- Exam 2000
- Exam 2001
- Test model answers 2001
- Module marks 2002
Software Workshop 1B guest lecture (2001)
Red Hot Java revision course
Automatic Verification (10cr, Sem 1) (2002)
- Lecture notes for my part
  - Slides for display on projector
  - Slides for printing out
- Solutions to Ch3 of Huth/Ryan book
- Past exams
Software Workshop 2 Java (2002)
- Developing JSPs and Servlets with Netbeans
Final year Undergraduate Projects (2001)
Final year Undergraduate Projects (2002)
Theory and Logic seminar (10cr, Sem 1)
Logic (10cr, Sem 2)
Logic for AI 2 (10cr, Sem 1)