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
Research interests:Software Security, Large Scale Verification, Program Logic, Local Reasoning, Concurrency

Contributions

Show activities from other conferences

Using general profile