Name:	Professor AG Cohn
Organisation:	University of Leeds
Department:	Sch of Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/R031193/1 Humanlike physics understanding for autonomous robots (P) EP/N010523/1 Balancing the impact of City Infrastructure Engineering on Natural systems using Robots (C) EP/K021699/1 ASSESSING THE UNDERWORLD - AN INTEGRATED PERFORMANCE MODEL OF CITY INFRASTRUCTURES (C) EP/F06585X/1 MAPPING THE UNDERWORLD: MULTI-SENSOR DEVICE CREATION, ASSESSMENT, PROTOCOLS (P) EP/G025177/1 Geometric Abstractions for Scalable Program Analyzers (P) EP/D061334/1 Learning about Activities from Video (C) EP/D002834/1 Foundational Ontology for Geographic Information (R) EP/C014707/1 Mapping the Underworld: Knowledge and Data Integration (P) GR/R53401/01 Escape Analysis of Object-Orientated Languages. (C) GR/N13159/01 SPECIFICATION AND VERIFICATION OF ARM6 (P) GR/M56807/01 MANAGING VAGUENESS, UNCERTAINTY AND GRANULARITY IN SPATIAL INFORMATION SYSTEMS (P) GR/M05645/01 SEMANTIC-BASED SOFTWARE SUPPORT FOR CONSTRAINT LOGIC PROGRAMS (C) GR/L19515/01 DECLARATIVE LANGUAGE INTERFACE FOR CONSTRAINT SOLVING (C) GR/K79635/01 DETECTING AND EXPLOITING DETERMINACY IN LOGIC PROGRAMS (C) GR/K65041/01 LOGICAL THEORIES AND DECISION PROCEDURES FOR REASONING ABOUT PHYSICAL SYSTEMS (P) GR/H78955/01 LOGICAL AND COMPUTATIONAL ASPECTS OF SPATIAL REASONING (P) GR/H78962/01 DECLARATIVE EXTENSIONS OF LOGIC PROGRAMMING (P) GR/H78948/01 MANY SORTED EQUATION SOLVING (P) GR/G24231/01 MANY SORTED UNIFICATION (P) GR/G36852/01 REPRESENTATION AND INFERENCE IN A NAIVE PHYSICS THEORYOF SPACE AND TIME. (P) GR/F64388/01 REPRESENTATION AND INFERENCE IN A NAIVE PHYSICS THEORYOF SPACE AND TIME (P)

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