Mark Ryan
Home page
Research
Publications
Slides
Interests
Activities
Teaching
Comp. Sec.
Network Sec.
Projects
Book
Book info
On Amazon
Reviews
About
Timetable
Photos
Historic
Links
Weather
Scroogle
Wikipedia
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)