Name:	Professor H Barringer
Organisation:	University of Manchester, The
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/I016643/1 CICADA Cross-disciplinary Feasibility Account (C) EP/E050441/1 The Manchester Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) (C) GR/S40435/01 Environment Synthesis for Timed and Hybrid Systems (P) GR/R07226/01 Enhancing Inter and Multi-Disciplinary Science At the University of Manchester (P) GR/M05744/01 REASONING ABOUT RAINBOW: DESIGN AND VERIFICATION SUPPORT FOR ASYNCHRONOUS DIGITAL SYSTEMS (P) GR/L07529/01 PROCESS SPECIFICATION USING NATURAL LANGUAGE (C) GR/K42073/01 APPLICATION SPECIFIC VERIFICATION TECHNIQUES FOR HIERARCHICAL ASYNCHRONOUS DIGITAL DESIGN (P) GR/H44646/01 MODEL-CHECKING UNBOUNDED STATE SPACE PROGRAMS (P) GR/H18449/01 EXECUTABLE MODAL LOGICS THROUGH THEOREM PROVING (P) GR/F38174/01 FORMAL VERIFICATION SUPPORT FOR ELLA (P) GR/F30123/01 METATEM: A FRAMEWORK FOR TEMPORAL LOGIC PROGRAMMING (P) GR/F36552/01 TEMPOPRAL DATABASES AND PLANNING (P) GR/F09570/01 A FORMAL DESIGN AND VERIFICATION ENVIRONMENT FOR DIGITAL SYSTEMS (P)

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