Registered user since Thu 18 Dec 2025
Name:Shivanandan Tamil Kumaran
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://www.shiva-tk.xyz
Research interests:Programming Languages, Software Verification, Compositional Symbolic Execution
Contributions
Using general profile