IIT Kanpur
Course: Forcing (Set Theory)
This course will focus on methods and concepts in set-theoretic forcing, a key technique in mathematical logic and foundations.
KREA University
IISc Bangalore
Course: Lean (Theorem Proving)
This course introduces Lean, an interactive theorem prover for formal verification and proof development in mathematics and computer science.
National Insurance Academy,
Pune
Lecture: Applications(& Misapplications)
of Logic in Legal Scholarship
Legal scholars often appeal to certain seminal results and techniques in logic such as Gödel’s Incompleteness Theorems and set-theoretic forcing.
This lecture aims to provide an overview of the applications – and misapplications – of logic in legal analysis and jurisprudence.