Dr Prathamesh T V H works at the intersection of Logic, Computer Science and Mathematics. More specifically, he works on application of formal methods of Computer Science to Mathematics. The primary focus of his research is formalisation of Mathematics and theoretical Computer Science in type theory, and automated verification of mathematical proofs. His research is motivated by the need for formal verification of computer programmes used for research in Mathematics and theoretical Computer Science, and the potential use of computers in verifying controversial mathematical proofs. In particular, he is fascinated by the insights that one derives about familiar mathematical objects and proofs, when attempting to find the appropriate formal representation for the purpose of computer-aided proof checking.
He has contributed to the development of formal proofs in Mathematics and theoretical Computer Science in Isabelle/HOL, a proof assistant based on Higher Order Logic. Dr Prathamesh has also undertaken research and continues to retain an interest in algorithmic and combinatorial aspects of knot theory, and in the interplay of geometric group theory, computability and logic.
Dr Prathamesh did his undergraduate studies in Mathematics at St Xavier’s College, Mumbai. Thereafter he pursued an Integrated PhD in Mathematics from the Indian Institute of Science, Bangalore. His doctoral thesis was titled Mechanizing Knot Theory. Subsequently, he spent two stimulating years as a Post-Doctoral Fellow in the Institute of Mathematical Sciences, Chennai. After a short stint as a Visiting Scientist at the Indian Statistical Institute, Dr Prathamesh joined the computational logic group of the Institute für Informatik – Universität Innsbruck in Austria as a Post-Doctoral Researcher in the FWF-funded Fortissimo project.
His other interests include philosophy of science and social dimensions of science. He is particularly interested in the potential role of Science and Math education in dissemination of critical thinking and scientific temper. He grew up all around India, but retains a soft corner for the city of Chennai.
