Name:	Dr KH Honda
Organisation:	Queen Mary University of London
Department:	Sch of Electronic Eng & Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/G015481/1 Multiparty Session Types: Theory and Conversation-Oriented Programming (P) EP/F02309X/1 Extreme Reasoning (C) EP/F002114/1 Engineering Foundations of Web Services: Theories and Tool Support (P) EP/F029799/1 Workshop on Business Processes and Software Standard: Theory and Infrastructural Foundations. (P) GR/T04236/01 Program Analysis and the Pi-Calculus: Foundations and Applications to Security (P) GR/S55545/01 Towards Semantics-Preserving Secure Language Infrastructure: Foundations & Applications to Secure Information Flow (P) GR/R03075/01 A Uniform Framework For Representing Transaction Processing Using Augmented Process Calculus (P)

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