PhD Student, Imperial College London
Research Interests
I'm a first year PhD student within the Verified Software research group at Imperial College London, supervised by Philippa Gardner.
I'm broadly interested in theoretical computer science and programming languages, with a focus on formal verification and compositional symbolic execution tools.
Education
- PhD, Theoretical Computer Science
Imperial College London; 2025 -- Present - MEng, Computer Science
Imperial College London; 2021 -- 2025
My Master's thesis, titled "From State to Solver: Sound Encodings for Compositional Symbolic Execution", formally explored the interaction between CSE tools and SMT solvers.
Teaching
- 70023 Scalable Software Verification (Separation Logic) Autumn 2025
- 40018 Discrete Maths, Logic & Reasoning Autumn 2023; Spring 2024
Experience
I've previously worked at a number of companies. Most recently, I was a delta intern at Palantir, where I was working with clients across sectors. I focused on large-scale real world optimisation problems.
Honours and Awards
- Doctoral Scholarship Award
Imperial College London - Corporate Partnership Programme Prize for Technical Innovation
Imperial College London; July 2025
Awarded for outstanding achievement in my Master’s thesis, which scored 87%, achieving "Distinguished Project" status.
[shivatk01@gmail.com] [github] [linkedin]