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
- Tweets 9,037
- Following 989
- Followers 6,152
- Likes 1,259
Pinned Tweet
Congratulations to the awardees of the Bloomberg Infrastructure and Security Ph.D. Fellowship 2025-2026. The 2026-2027 Call for Fellowship is now open! Apply by July 17th, 2026. bloomberg.com/company/storie…
2
1
8
2,993
Using Opus 5.5 to develop Rocq proofs for program logic, I got hit multiple times by a warning Ive never seen before “Your session was flagged and your query blocked”. Definitely FP acknowledged by claude asking me to /bug report. The new guardrails need refinement @AnthropicAI
4
407
Julien Vanegue retweeted
I'm giving several talks next week in New York:
- Tuesday: NYC Math Ed & Communication seminar
- Friday: CUNY Logic Workshop
- Friday: CUNY Graduate Student Logic Seminar
In addition, I shall be recording four additional lectures in the ERGO studios for my Lectures on Infinity series.
Links below.
2
3
35
1,550
Afraid AI may put you out of a job? Worry not. Do like me and pick up a known undecidable task! Problem solved. 🫳🎤#nontermination
5
319
In my heavy usage of chatgpt 5.5 / 5.6 and claude code with opus 5 / 5.5 in the last few months, @OpenAI models have been superior to @Anthropic ones for mathematics. On a number of occasions, gpt was able to find issues in my drafts when opus had nothing to say.
1
356
Happy to see our paper "Mind the Heap: Preventing Capability Leakage Across CHERI Compartments" accepted at @acm_ccs 2026. I'll be in The Hague in November to support the amazing @s_hamedgh keeping the heap exploitation spirit alive on CHERI hardware. sigsac.org/ccs/CCS2026/progr…
1
5
30
1,559
This is joint work with @MauriceHanisch, now at @Caltech. Paper is open access and will appear online soon.
2
258
Julien Vanegue retweeted
I'm hiring an exceptional Offensive Security Researcher for my team at NVIDIA (Offensive Security Research - OSR).
Firmware, microcode, RISC-V, hypervisors, and shipping mitigations like HW CFI, Memory Tagging, and Pointer Masking from the ground up.
jobs.nvidia.com/careers?quer…
11
84
468
45,820
RT @convoluted_code: If you would like to pursue a PhD at Imperial College London and work with me on blockchain and systems security-relat…
5
8
Julien Vanegue retweeted
I'm hiring a postdoc! Please share broadly with potential candidates.
I'm looking for someone with expertise in PL, FM, and/or networked systems who is excited about contributing to a research and teaching in a growing lab.
careers.epfl.ch/job/Lausanne…
4
18
55
3,998
Here is a really appealing process to PoC new research ideas:
1. Use ChatGPT voice assistant to brainstorm ideas and search related work throughout the day.
2. Your idea sticks? Generate a research plan and export in tex to GitHub.
3. Use Claude to iterate on implem & proof.
1
4
800
Opus 5 is insanely good at reviewing your math/logic papers before submission. Total cheat code. Reviewing a camera-ready with AI can also prevent much embarrassment later. At this stage, not sure why human reviewers should keep doing the job given AI can do it so much better.
2
1
10
1,981
Things started connecting in my head when i realized sheaf == faisceau. There is a famous paper by Jean-Pierre Serre about “Faisceaux Algebriques Coherents” which i now realize is about coherent sheaves. college-de-france.fr/sites/d…
1
2
702
Here is the paper by JP Serre, that famously influenced Grothendiek and many others after him: college-de-france.fr/sites/d…
1
297
Julien Vanegue retweeted
Thrilled to share that 2/2 of my first-author papers have been accepted to #EMNLP2026 Findings @emnlpmeeting 🥳🥳
1️⃣ LLMs vs. the Halting Problem
arxiv.org/abs/2601.18987
With @Meta @AIatMeta @HebrewU_heb @CseHuji @Bloomberg @imperialcollege @ucl
@jordiae Pascal Kesseli @jvanegue @HyadataLab @adiyossLC @PeterOHearn12
2️⃣ Reliable Proof Generation with LLMs
arxiv.org/abs/2505.14479
With @HebrewU_heb @CseHuji
@StrnYtn @HyadataLab
Thanks to my co-authors!
See you in Budapest! 🇭🇺
2
62
2,030
