Name:	Dr R Dyckhoff
Organisation:	University of St Andrews
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/F031114/1 Proof Theory and Constraint Satisfaction (C) EP/D064015/1 Lexicalized Proof-Theoretic Semantics for Natural Language (P) GR/S31242/01 Logic structures for control (C)

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