Julien Vanegue
@jvanegue
CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
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) bloom.bg/3HLdfmO #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding
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) bloom.bg/3HLdfmO #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding
Agentic AI comes to the Bloomberg Terminal via MCP Anthropic protocol waterstechnology.com/emerging-techn…
It’s on! @SummerC0n 2025 is about to start. One of my favorite conferences in the world. See you all tomorrow in Brooklyn! summercon.org
Working among friends on the halting problem in an apt location. @PeterOHearn12
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.
Alastair Donaldson @afd_icl is delivering his keynote on software oracles and pseudo oracles. I cant remember when i last listened to such an inspiring presentation.
