![Abhishek Kr Singh](https://popl23.sigplan.org/getProfileImage/abhishekkrsingh/55cbb1a3-90c7-4d8d-9730-199594ce7d2a/small.jpg?1717664294000)
Registered user since Thu 28 Nov 2019
Name:Abhishek Kr Singh
Bio:
Currently, I am a Postdoctoral researcher, hosted by Prof. Ori Lahav, in the School of Computer Science at Tel Aviv University. Prior to this I completed my PhD in Computer Science from TIFR Mumbai working under the supervision of Prof. Raja Natarajan.
Country:Israel
Affiliation:Tel Aviv University
Personal website: https://sites.google.com/view/abhishek-singh/
Research interests:Semantics, Concurrency, Weak Memory Model, and Interactive Theorem Proving
Contributions
POPL 2023-profile
View general profile
View general profile