Julien Vanegue
@jvanegue
CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network verification at world scale.
ID: 138098380
http://openwall.org/jvanegue 28-04-2010 16:25:47
8,8K Tweet
5,5K Followers
943 Following
Our paper "A General Approach to Under-approximate Reasoning about Concurrent Programs" has been accepted to be presented at CONCUR 2023! Work with Azalea Raad Peter O'Hearn and Josh Berdine.