ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Abhishek Kr Singh

Registered user since Thu 28 Nov 2019

Name:Abhishek Kr Singh

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.

Affiliation:Tel Aviv University
Research interests:Semantics, Concurrency, Weak Memory Model, and Interactive Theorem Proving


Show activities from other conferences

ICFP 2023-profile
View general profile