SPLASH 2024 (series) / Julien Vanegue
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
2024
SPLASH 2024-profile
View general profile
View general profile