ELVIS> Main>People>DavidFriggens (04 Feb 2011, Main.craig)

David Friggens

David Friggens, PhD Student

BA, BSc (Hons), MSc

address

Location: - Postal Address

Research Interests: Logic, Formal Methods
Thesis Title: Model Checking Nonblocking Concurrent Algorithms
Supervisor: A/Prof Lindsay Groves

 

Biography

Biography to be added shortly.

Home page.

David is a PhD student working on "Model Checking Nonblocking Concurrent Algorithms" supervised by LindsayGroves since 2005. David completed a MSc in 2004 and Honours in 2002.

Print version | Backlinks
 
© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated