shiva t.k...

[about.]

Final year MEng Computing student at Imperial College London.

Academic Interests

I have a strong interest in:

Formal verification - particularly in symbolic execution and separation logic
Abstract interpretation
Type theory
Functional Programming

I'm currently working on my master's thesis in the area of compositional symbolic execution.

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.

Personal Interests

Films - you can check out what I've been watching recently on my letterboxd account
Music - check out my scrobbles on last.fm
Guitar - I play for fun
Bouldering - when I get the chance
Gym