ICFP/SPLASH 2025 (series) / Abhishek Kr Singh
Registered user since Thu 28 Nov 2019
Name:Abhishek Kr Singh
Bio:
I am a Senior Research Fellow in the School of Computing at NUS Singapore, primarily working in the areas of Formal Methods, Programming Languages, Software Engineering, and Trustworthy AI. My current research efforts are aimed at establishing a formal foundation for Trustworthy Autonomy.
Country:Singapore
Affiliation:National University of Singapore
Personal website: https://sites.google.com/view/abhishek-singh/
Research interests:Formal Methods, Programming Language, Software Engineering, Concurrency Semantics, Theorem Proving, and Trustworthy AI.
Contributions
Using general profile