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:Bloomberg, USA
Personal website: http://www.bloomberg.com
X (Twitter): https://x.com/jvanegue
GitHub: https://github.com/jvanegue
Research interests:Security, Program Analysis, Verification, Bug finding, Exploit Programming
Contributions
2024
Formal Methods for Incorrectness
O'Hearn Fest
POPL 2024-profile
View general profile
View general profile