University of Oxford Logo University of OxfordSoftware Engineering - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Jim Davies: professional activities

Appointments

Senior Fellow, Kellogg College (2006); Associate Director, Oxford e-Science Centre (2002–2006); Guest Professor, Software Engineering Institute, Shanghai (2005); Continuing Education Board, University of Oxford (2002–2003); External Examiner, Royal Holloway, University of London (2000–2004); External Examiner, University of Cambridge Local Examinations Syndicate (1994–2003).

Programme Committees

IFM (Integrating Formal Methods) 2000, 2002, 2004, 2005, 2007 (chair 2007); ICFEM (IEEE International Conference in Formal Engineering Methods) 2002, 2003, 2004, 2005, 2006, 2007; (co-chair 2004); ASM (Abstract State Machines) 2003; AMAST (Algebraic Methods and Software Technology) 2000; APC (Algebraic Process Calculi) 2005; FM (Formal Methods) 1999; ICTAC (International Colloquium on Theoretical Aspects of Computing) 2004, 2005, 2006, 2007; SBMF (Brazilian Formal Methods Workshop) 2004, 2005, 2006, 2007; TASE (Theoretical Aspects of Software Engineering) 2007; ICECCS (IEEE International Conference on Engineering of Complex Computer Systems) 2007; ICDCIT (International Conference on Distributed Computing and Internet Technology) 2007.

Other

IBM Faculty Partnership Award (2001, 2002, and 2003); NCRI (National Cancer Research Institute) Informatics Committee Software Engineering Task Force.

Completed Projects

AGEDIS: automated generation of test suites (EU), 2000–2004; Practical, formal analysis of object behaviour (QinetiQ) 2003–2004; Workload management and grid integration (EPSRC/DTI) 2002–2004; Software Applications for Data Management (EPSRC/DTI) 2001–2004; Linking Theories with Tools for System Development (EPSRC) 1997–2001; Java Beans and Jini Component Integrity Testing (DERA), 1998; Security Through Active Encapsulation (DERA) 1996–1999; Security and Integrity over a Tokenised Interface (DERA) 1994–1995.