Indian Institute of Technology (IIT) Bombay, India
Abhisekh Sankaran is a research scientist at the Center for Formal Design and Verification of Software (CFDVS), an R&D center of the Indian Institute of Technology (IIT) Bombay, India. Abhisekh received his Ph.D. in August 2016 from the Computer Science and Engineering department of IIT Bombay, wherefrom he had earlier obtained his Dual Degree (Bachelor’s and Master’s) in 2006. His Ph.D. dissertation is titled “A generalization of the Łoś-Tarski preservation theorem”. Abhisekh’s research interests are in model theory, both classical and finite, and more generally, in the subjects of mathematical logic and logic in computer science.
This speaker has no talks listed in our database.