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
I have informally discussed this phenomenon, humbly dubbed “weird machines in proof carrying code” after @sergeybratus and George Necula. Fascinating topic :) ieeexplore.ieee.org/stampPDF…
1
3
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
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
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
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
This is joint work with @MauriceHanisch, now at @Caltech. Paper is open access and will appear online soon.
2
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
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
Julien Vanegue retweeted
If you would like to pursue a PhD at Imperial College London and work with me on blockchain and systems security-related topics, please contact me via my web site.
5
16
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
This process not only works to bring all your ideas to fruition. It also is tremendously useful to *improve* your ideas and find what part of it is novel.
2
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
Also, AI powered reviews make it clear that the average conference reviewer does a pretty poor job. Opus 5 reviews give me 10x actionable insights. AI feedback can be overwhelming, but this makes our papers *so* *much* *better* in the end.
2
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
ChatGPT still happily reports issues in my own soundness proofs! Give it the latex source and tell it its work in progress, that should do the trick.
1
2
Here is the paper by JP Serre, that famously influenced Grothendiek and many others after him: college-de-france.fr/sites/d…
1