Three minute video on monotonicity marking
This was my entry in competition organized by the US NSF. It was intended "For those who may be curious about what it means to do advanced mathematics or conduct research in the mathematical sciences, these videos give fun and accessible glimpses into the lives and work of career mathematicians." While this video did not win, it got an honorable mention.
Free online course on computability done with text register machines
This project began as a proposal to answer the following question:
What is the simplest setting in which one can formalize the notion that computer programs can operate on other programs? The centerpiece of our
answer is a programming language called 1#. This language is intended to be extremely simple: it has only two symbols (1 and #) and five types of
basic instructions.
The point of 1# is to illustrate explicit register machine constructions of self-replication and the Recursion Theorems of computability theory.
The goal is to provide tools to explore these themes that are very simple to explain and use, and yet rich enough to provide the explicit programs
of interest.