Shiva Tamil Kumaran PhD Student
Shiva is a PhD student, having joined in 2025 after completing his Master’s thesis with the group.
His primary research interest is compositional symbolic execution (CSE), a technique for verification and bug-finding. His work seeks to bridge the gap between theoretical justification and practical implementation of CSE tools.