Julien Vanegue
New York, New York, United States
Summary
👤
SeniorJulien Vanegue is a seasoned technology leader and security researcher focused on automated reasoning for code and infrastructure security. As Head of Infrastructure & Security Research in Bloomberg's CTO Office, he founded a new team and steers long-term, science-driven investments to advance bleeding-edge technology across the firm. He previously built and led enterprise-wide security architecture programs at Bloomberg, including cloud, software, and security architectures that underpin mission-critical financial services. With an early career at Microsoft and a strong academic background in theoretical computer science (EPITA, Cambridge internship), he blends rigorous research with practical security engineering. Based in New York, he collaborates with industry and academia to translate research into scalable, secure solutions for the Bloomberg ecosystem. A proven architect and strategist, he has shaped security directions for front-end, back-end, API, and terminal platforms over more than a decade of impact.
9 years of coding experience
Github Skills (37)
static-code-analysis10
static-analysis10
xor10
cryptanalysis10
analyzer10
elliptic-curve-cryptography10
finite-fields10
java10
ecdsa10
public-key-cryptography10
shamir-secret-sharing10
hmac10
static-analyzer10
x2551910
cpp10
Programming languages (3)
Github contributions (5)
jvanegue/infer
Feb 2024 - Apr 2025
A static analyzer for Java, C, C++, and Objective-C
Contributions:1 release, 34 PRs, 134 pushes in 1 year 1 month
jvanegue/klee
Oct 2016 - Feb 2018
Contributions:4 PRs, 75 pushes in 1 year 3 months
symbolickleevirtual-machine
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.