Reader in Department of Computing at Imperial College London and EPSRC Advanced Fellow
ISO Project Proposals
My supervisors in recent two years 2004/05 and 2005/06 got the best ISO awards.
The topics are similar with the Individual Project Proposal below.
Please contact with me by e-mail.
Individual Project Proposals
Programming Language-Based Security by Type-Checking
Security Guarantee in Mobile Agents
Liveness and Safety Guarantee by Type Checking of Mobile Processes
Modelling Biological Interaction by Atoms of Concurrent Mobile Processes