EPSRC logo
Researcher Details
 
Name: Professor S Thompson
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N028759/1 Trustworthy refactoring(P)
Previous EPSRC Support
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