Links

My other sites

• www.cs.stir.ac.uk/omnibus - Home page for the Omnibus project
• www.cs.stir.ac.uk/~twi - My departmental web-page

Related academic personal home pages

• www.cs.stir.ac.uk/~sma - Dr Savi Maharaj
  • Advisor for my dissertation and PhD at Stirling
• www.cs.stir.ac.uk/~rgc - Dr Robert G. Clark
  • Second advisor for my dissertation and PhD at Stirling
• www.cs.ucsb.edu/~bultan - Associate Professor Tevfik Bultan
  • Advisor for a student project I did at UCSB
• www.cs.ucsb.edu/~kemm - Professor Richard A. Kemmerer
  • Co-ordinator for a graduate class I took at UCSB
• research.microsoft.com/~leino - Dr Rustan Leino
  • One of the people who's work has most influenced my own. I met him at SEFM05 and he's also a really nice guy
• www.sct.ethz.ch/people/mueller - Professor Peter Müller
  • Carrying out outstanding work on formal verification. My views on component reuse and restrictions in the languages are similar to his
• www.inf.ethz.ch/~meyer - Professor Bertrand Meyer
  • Was my main influence early in my career. His articles on component reuse inspired me
• research.microsoft.com/~thoare - Professor Sir Tony Hoare
  • The founder of everything we all work on

Related departmental web pages

• www.cs.stir.ac.uk - Computing Science and Mathematics department at University of Stirling
• www.cs.ucsb.edu - Department of Computer Science at University of California, Santa Barbara

Related research

• Applied Formal Methods research group at University of Stirling
• Verification Laboratory at University of California, Santa Barbara
• Reliable Software Group at University of California, Santa Barbara
• The World Wide Web Virtual Library: Formal Methods
• The Java Modeling Language (JML)
• ESC/Java2
• Original ESC/Java at Compaq
• SPARK
• Eiffel
• Escher Technologies: Makers of PerfectDeveloper
• The KeY project
• JACK - Java Applet Correctness Kit
• The B method
• The PVS Specification and Verification System
• The Clean Functional Programming Language (in particular, see Uniqueness Typing)
• Security of Systems at University of Nijmegan
• The Z notation
• Scottish Theorem Proving group
• The RESOLVE language
• JavaCard - A trendy application of formal methods
• VerifiCard