For more information, see www.jpbowen.com. In particular, see my Formal Methods Virtual Library pages. See also a list of publications.
See GS03/4023: Validation and Verification course information.
I am teaching on the Validation and Verification (GS03) module on the Systems Software Engineering MSc (coordinated by David Rosenblum), also 4023 for final year undergraduates, from 8 January to 9 February 2007 (Mondays 2-3pm and 4-5pm, and Fridays 3-5pm - 20 hours total). Graham Roberts will be teaching Mondays 9-10am and Fridays 9-10am in parallel on the module (10 hours total). He will be concentrating on the testing (dynamic analysis) aspects and I will be concentrating on the formal methods (static analysis) aspects. See Graham Roberts' online GS03 resources. Franco Raimondi will be assisting with the course, especially during Week 3. See his online teaching information Hao Liu will also be assisting with the module.
See also my official UCL web page for contact information.