Notes
-
A short note on formal verification
Formal verification aims to prove correctness of systems mathematically, rather than relying on testing alone.
-
Mathematical pedagogy reflections
Some thoughts on how we teach and learn mathematics.
-
Logic and computation
The connection between logic and computation runs deep, from the Curry-Howard correspondence to automated theorem proving.