Name:	Dr AJH Simons
Organisation:	University of Sheffield
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/G031711/1 Higher-order Refinement Techniques for Model Driven Architecture (C) GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST) (C) GR/M56777/01 MOTIVE: METHOD FOR OBJECT TESTING, INTERGRATION AND VERIFICATION (P) GR/F36507/01 SYLLABLE-BASED DESCRIPTIONS OF ACOUSTIC-PHONETIC EVENTS (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator