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.