Registered user since Wed 7 Oct 2015
Name:Julien Vanegue
Bio:
Head of Infrastructure & Security Research at Bloomberg in New York, USA.
Country:United States
Affiliation:Imperial College London; Bloomberg
Personal website: https://openwall.info/wiki/people/jvanegue
X (Twitter): https://x.com/jvanegue
GitHub: https://github.com/jvanegue
Research interests:Software Security, Large Scale Verification, Program Logic, Local Reasoning, Concurrency
Contributions
POPL 2025-profile
View general profile
View general profile