Name:	Professor S Thompson
Organisation:	University of Kent
Department:	Sch of Computing
Current EPSRC-Supported Research Topics:	Fundamentals of Computing Software Engineering

Current EPSRC Support

EP/T014512/1 Session Types for Reliable Distributed Systems (STARDUST) (C)

Previous EPSRC Support

EP/N028759/1 Trustworthy refactoring (P) EP/H020217/1 Refactoring and Neutrality in Genetic Programming (C) EP/C524969/1 Formally-based tool support for Erlang development (P) GR/R40142/02 NETWORK: NetCA (C) GR/R63509/01 Reasoning with Diagrams (C) GR/R75052/01 Refactoring Functional Programs (P) GR/R40142/01 NETWORK: NetCA (C) GR/M37851/01 INTERGRATING COMPUTER ALGEBRA AND REASONING: INCORPORATING A LOGIC INTO THE AXIOM SYSTEM (P) GR/L33771/01 LINKS: COMPUTER ALGEBRA, PROGRAMMING LANGUAGES, NUMBER THEORY (C) GR/F29134/01 MACHINE SUPPORTED VERIFICATION OF FUNCTIONAL PROGRAMS (C)

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