Hi, I'm Matt, and I want to use the new medium to make they way we think about mathematics, statistics and everything else easier.
I started in 2023 as a PhD student at the University of Michigan in the Future of Programming group. My advisor is Cyrus Omar.
Feel free to contact me at [mckeenan at umich dot edu] about any of my projects or about my group at the University of Michigan.
I am currently working on adding user interface elements to the Hazel programming language that allow users to prove equational properties of their code, using a single-stepper as a starting point.
A prototype GUI proof assistant I made in my free time where proof steps are taken by clicking on known equalities.
The dream - to make a general-purpose visual programming language for modelling probabalistic scenarios. Given that a model is just a story, we let the user draw a story board and have the computer calculate the probabilities, instead of having to apply Bayesian calculations themeselves.
This work was presented at VL/HCC 2023.
The Multiverse Explorer is a protoype for a domain-specific visual probabalistic programming language. In it, we can give a car some driving instructions, and then the tool shows us the position of the car, with uncertainty shown as multiple "ghost" cars, and a view of the instructions given to the car.
The dream - could it be possible to make even quantum computing intuitive with the right visual metaphors and interactions?
A mod that adds Redstone-controlled qubits to Minecraft.
A game set in a medieval kingdom that is cursed with various quantum situations that aims to slowly introduce quantum concepts eventually leading up to the Deutsch-Jozsa problem.
The dream - The Bible is not just a poorly organised collection of quotes, but a collection of different types of literature that make up an overarching story. I want to be able to know where in the story the quote fits and what sort of literature we're looking at.
An overview of how the Old Testament books fit together.
A survey about how many sandwiches you get when you cut sandwiches.
