| Aug 18, 2026 | My paper, Graph Surgery and the Do-Operator: A Precise Correspondence for Acyclic Structural Causal Models, is now available on arXiv. A companion Lean 4 formalization mechanizes the principal results. |
| Aug 3, 2026 | A short conceptual note, How Universal Proofs Motivate Dependent Types, explores how universal quantification becomes a dependent function type under the Curry–Howard correspondence. |
| Jul 29, 2026 | I will be serving as a Teaching Fellow for CS-2212-1: Data Structures and Algorithms, taught by Aalok Thakkar, in Monsoon 2026. |
| Jun 9, 2026 | I will be attending the Formal Methods Update Meeting 2026 at Krea University from July 2-3, 2026. |
| Jun 1, 2026 | I will be attending the Indian School on Logic and Applications 2026 at Krea University from 25-30 June 2026. |