EPSRC logo
Researcher Details
Name: Dr S Maffeis
Organisation: Imperial College London
Department: Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/K032089/1 Certified Verification of Client-Side Web Programs(C)
EP/I004246/1 Foundations of Secure Web Programming(P)
EP/E044956/1 Programming abstractions and static analyses for the web 2.0 and beyond.(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator