MrJulien Vanegue
Research Postgraduate
Department of Computing - Faculty of Engineering
- Research PostgraduateDepartment of Computing - Faculty of Engineering
- +1 425 283 9899 (Mobile)
- Huxley Building, South Kensington Campus, United Kingdom
RESEARCH
Formal Methods
Program Logic
Software Security
Semantics of Programming Languages
Program Logic
Software Security
Semantics of Programming Languages