Kalyan Shankar Basu (Preferred)
Kalyan Shankar Basu
- Joined September 2023
Names
Emails
****@microsoft.com (Confirmed)
Personal Links
Career & Education History
Researcher
Microsoft (microsoft.com)
2002 – 2023
Postdoc
Edinburgh University, University of Edinburgh (inf.ed.ac.uk)
2000 – 2001
Assistant Professor
IIT Kharagpur (cse.iitkgp.ac.in)
1997 – 1999
Postdoc
Technische Universität München (tum.de)
1995 – 1997
PhD student
IIT Kanpur, Indian Institute of Technology, Kanpur (cse.iitk.ac.in)
1991 – 1995
MS student
IIM Calcutta (iimcal.ac.in)
1987 – 1989
Undergrad student
IIT Kanpur, Indian Institute of Technology, Kanpur (cse.iitk.ac.in)
1983 – 1987
Advisors, Relations & Conflicts
Expertise
Mathematical Neuroscience
2015 – Present
Artificial Intelligence
1990 – Present
Formal & Mathematical Semantics
1990 – Present
Mathematical Logic & Type Theory
1990 – Present