Bhupinder Singh Anand

Bhupinder Singh Anand


Summary

Independent scholar investigating the foundations of mathematics, logic & computability, and reviewing classical interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning and addressing some grey areas in the foundations of mathematics, logic and computability.

Artificial Intelligence Computational Linguistics Computational Science Human-Computer Interaction Theory & Formal Methods