Abhishek De is a computer scientist with a theoretical focus, specialising in logic and its applications to programming languages, formal verification, and automated reasoning. Born and raised in Kolkata, he pursued higher education at the Chennai Mathematical Institute. He earned his doctoral degree at Université Paris Cité, where he was trained in the French school of logic.
Abhishek De
Krea University
-
Krea UniversityRegular Faculty
Université Paris Diderot
PhD, 2022
Tada, AP, India
Areas of Specialization
| Substructural Logic |
| Second-Order Logic |
| Predicate Logic |
Areas of Interest
| Substructural Logic |
| Second-Order Logic |
| Predicate Logic |