Gethin Norman

• model checking
• probabilistic verification
• security
• verification of real-time and hybrid systems
• concurrency theory
• probabilistic and real-time process algebras
• performance modelling

I obtained a degree in mathematics from the University of Oxford and a PhD in computer science from the University of Birmingham.

Between 1998 and 2007 I was a Research Fellow in the School of Computer Science at the University of Birmingham working on the EPSRC funded projects: "Automatic Verification of Randomized Distributed Algorithms" (rated outstanding), "Verification of Quality of Service Properties in Timed Systems" (rated outstanding) and "Probabilistic Model Checking of Mobile Ad Hoc Network Protocols". In addition during this time I contributed to the "A Future Of Reliable Wireless Ad-hoc networks of Roaming Devices (FORWARD) project" which was part of the Next Wave Technologies and Markets, and was a team member of the "Predictive modelling of signalling pathways via probabilistic model checking with PRISM" project (funded by Microsoft Research Cambridge).

In July 2007, I became a research officer in the Oxford University Computing Laboratory working on the EPSRC funded project "UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures" (EPSRC Research Grant EP/D077273/1) which is a collaboration between University of Birmingham, UCL and Imperial College.

I am also one of the principal developers for the probabilistic verification tool PRISM.

publications

See an online list of publications or the DBLP entry.

activities

program committees

• Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010) (co-chair)
• Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010)
• First International Workshop on High Performance Computational Systems Biology (HiBi 2009)
• Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)
• Fifthteenth International Workshop on Expressiveness in Concurrency (EXPRESS 2008)
• Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
• Fifth International Conference on Computational Methods in Systems Biology (CMSB 2007)
• Third International Conference on the Quantitative Evaluation of Systems (QEST 2006)
• Second International Workshop on Practical Applications of Stochastic Modelling (PASM 2005)
• Second International Conference on the Quantitative Evaluation of Systems (QEST 2005)
• First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004)

collaborators

• Marta Kwiatkowska (University of Oxford)
• Dave Parker (University of Oxford)
• Mark.Kattenbelt (University of Oxford)
• Jeremy Sproston (Universita degli Studi di Torino)
• Roberto Segala (Universita di Verona)
• Luca de Alfaro (University of California, Santa Cruz)
• Joost-Pieter Katoen (RWTH Aachen University)
• Christel Baier (TU Dresden)
• Conrado Daws (University of Nijmegen)
• Antonio Pacheco (Instituto Superior Tecnico Lisboa)
• Markus Siegle (Universitat der Bundeswehr Munchen)
• Holger Hermanns (Saarland University)
• Sylvain Peyronnet (LRI)
• Haakan L. S. Younes (Carnegie Mellon University)
• Vitaly Shmatikov (University of Texas at Austin)
• Rajesh Gupta (University of California, Irvine)
• Sandeep Shukla (Virginia Tech)
• Marie Duflot (Universite Paris XII)
• John Heath (University of Birmingham)
• Catuscia Palamidessi (INRIA Futurs Saclay and LIX)
• Peng Wu (UCL)
• Kostas Chatzikokolakis (Ecole Polytechnique Paris)