My research fits in the broad areas of programming languages and verification, with an eye on applications in probabilistic programming and blockchain systems. I often use tools from game theory, probability theory, real algebraic geometry and parameterized complexity to tackle diverse problems ranging from data-flow analysis and optimal cache management, to finding termination proofs or resource-usage bounds for probabilistic programs, to quantitatively verifying the security of smart contracts.
This webpage is not updated regularly. See my dblp profile for the most up-to-date list of publications.
PhD in Computer Science
MSc in Computer Science (Systems)
Georgia Institute of Technology
Graduate Diploma in Mathematics
University of London
BSc in Mathematics and Computer Science
In Computer Science conference publications are at least as prestigious as (and often more prestigious than) journal publications. Names appear in alphabetical order, except that co-authors who are located in countries where the order matters in their career (e.g. Russia) are put first.