shiva t.k...

[about.]

PhD Student, Imperial College London

Research Interests

I'm currenly a PhD student within the Verified Software research group at Imperial College London.

I'm broadly interested in theoretical computer science and programming languages, with a focus on formal verification and compositional symbolic execution tools.

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.

I was also an undergraduate teaching assistant in the Department of Computing at Imperial. I led tutorial sessions on discrete maths, logic, reasoning about programs, and graphs / algorithms.

Honours and Awards

Corporate Partnership Programme Prize for Technical Innovation
Imperial College London, July 2025
Awarded for outstanding achievement in my Master’s thesis, which scored 87%.
Doctoral Scholarship Award
Imperial College London