Imperial College London — United Kingdom
Computer Science · Physical Sciences
3h-index112citations4works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(3), Security and Verification in Computing(3), Distributed systems and fault tolerance(2), Formal Methods in Verification(1), Health, Medicine and Society(1)
Publications4 total
ACM SIGPLAN Notices·1998· 14 citedOpen Access
1998· 51 citedOpen Access
1998· 1 citedOpen Access