ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
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. Prior to this, I was a Postdoctoral researcher in the School of Computer Science at Tel Aviv University. I obtained my PhD in Computer Science from TIFR Mumbai, working in the area of Formalised Combinatorial Mathematics.

Country:Singapore
Affiliation:National University Of Singapore
Research interests:Logic, Formal Methods, Semantics, Concurrency, Theorem Proving, Program Synthesis, and Automated Program Repair.

Contributions

Show activities from other conferences

Using general profile