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
BIO
I am a (part-time) Ph.D. student at Imperial College.
My Ph.D. advisor is Dr. Azalea Raad from the faculty of computer engineering.
My research relates to the large scale industrial application of incorrectness logic to software security.
I am also a member of the CTO office at Bloomberg, where I work on infrastructure and security research.
Lately, I have been developing new tools within the Infer program analysis framework, and in particular in the Pulse checker developed by Jules Villard at Meta. Developing in the Ocaml language is a lot of fun!
My Ph.D. advisor is Dr. Azalea Raad from the faculty of computer engineering.
My research relates to the large scale industrial application of incorrectness logic to software security.
I am also a member of the CTO office at Bloomberg, where I work on infrastructure and security research.
Lately, I have been developing new tools within the Infer program analysis framework, and in particular in the Pulse checker developed by Jules Villard at Meta. Developing in the Ocaml language is a lot of fun!
FACULTY
- Faculty of Engineering
POSITION NAME
- Research Postgraduate