I am a PhD Candidate in Theoretical Computer Science at IST Austria, where I am (happy, lucky, thankful and proud to be) advised by Krishnendu Chatterjee. I am also grateful to Facebook, IBM and the Austrian Academy of Sciences for supporting my research as part of their respective PhD fellowship schemes.
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.
PhD in Computer Science
IST Austria (expected in 2020)
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.
See my CV for a complete list and details.