Julien Vanegue
@jvanegue
Followers
6K
Following
1K
Media
322
Statuses
9K
CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
New York City, NY, USA
Joined April 2010
The cat is out of the bag! Our very first @Bloomberg Infrastructure & Security Research Ph.D. Fellowship is just announced. Consider submitting your fellowship application by July 18th.
#CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Submission Deadline: Friday, July 18, 2025 (11:59 PM AoE). #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding.
2
10
27
I am in France for the summer break. I love resourcing myself to the peaceful atmosphere of my native Normandy’s country side. This is the polar opposite of the constant frenziness of New York City.
0
0
3
Our *first* *ever* call for the @Bloomberg infrastructure and security research fellowship is closing in just a few hours! Thanks to everyone who already submitted their proposal.
#CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Submission Deadline: Friday, July 18, 2025 (11:59 PM AoE). #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding.
0
0
3
Agentic AI comes to the Bloomberg Terminal via MCP Anthropic protocol .
waterstechnology.com
The data giant’s ubiquitous terminal has been slowly opening up for years, but its latest enhancement represents a forward leap in what CTO Shawn Edwards calls,
1
0
2
Dino Dai Zovi @dinodaizovi is induced in the @SummerC0n Hall Of Fame alongside @dotMudge @nudehaberdasher and @heidishmoo. Congratulations Dino for an amazing security impact across industry and government. Well deserved!
3
11
55
It’s on! @SummerC0n 2025 is about to start. One of my favorite conferences in the world. See you all tomorrow in Brooklyn!
0
0
10
dont keep us in the dark any longer, what happened in April? Did you throw more gpu, more people, or more brain cycles into it? :) Quite some progress!.
2
0
3
Congratulations to @oegerikus and the @Xbow team on achieving a significant milestone in automating web exploits and demonstrating the practicality of using LLM for security research.
XBOW automatically runs expert-level attacks across all webapps, giving security teams unprecedented scale. @XBOW reported 1092 vulnerabilities on HackerOne in just a few months, including RCE, XXE, SQLi, SSRF, exposed secrets, and XSS.
1
3
12
@PurdueCS @CSS_ETHZurich @StarGazerMiao @SyracuseU @krismicinski @Yale @UniversityofIl @MauriceHanisch @Caltech Welcome to all and have a lot of fun at @Bloomberg this summer!.
0
0
1
@PurdueCS @CSS_ETHZurich @StarGazerMiao @SyracuseU @krismicinski @Yale @UniversityofIl Maurice @MauriceHanisch is our latest arrival from ETH Zurich who will start his Ph.D. at @Caltech this fall and will be working on security testing the ARM Morello's defenses for programs protected with CHERI capabilities.
1
0
1
@PurdueCS @CSS_ETHZurich @StarGazerMiao @SyracuseU @krismicinski @Yale Tarun is from the @UniversityofIl (UIUC) who already co-authored about 10 papers despite being a junior undergraduate (!) and will be working on automating inference of separation logic specifications with LLMs.
1
0
3
@PurdueCS @CSS_ETHZurich @StarGazerMiao @SyracuseU @krismicinski Atul is a Ph.D. student at @Yale with Robert Soule working on making the best of the ARM Morello CHERI capabilities to protect real-world C++ programs at Bloomberg.
1
0
2
@PurdueCS @CSS_ETHZurich Yihao @StarGazerMiao is a senior Ph.D. student at @SyracuseU with @krismicinski working on improving SAT solving on GPU during his internship.
1
1
2
@PurdueCS Eric is a Masters student from @CSS_ETHZurich working on advancing text-to-sql synthesis using LLMs, a research topic that has exploded in the last couple of years.
1
0
0
We are delighted to introduce our 2025 promotion of @Bloomberg research interns mentored by our team of @TechAtBloomberg CTO researchers @joomy @s_hamedgh. Remember their names: Prasita Mukherjee, Eric Nothum, Yihao Sun, Atul Pokharel, Tarun Suresh and Maurice Hanish.
1
3
19
Next is Andrey Rybalchenko @AndreyRybalchen one of my network verification heroes. Today’s talk: can formal methods be used to optimize AI? GPUs and electricity are precious and expensive and this is a new opportunity for verification tools.
0
0
2