Motion
Constructing The Real Numbers With Cauchy Sequences
How state, action, and a rule of change become a machine that can move.
CS @ Georgia Tech
Welcome to my personal website. I am a human. I’m interested in the intersection of our understanding of the universe and the machines we build with our own cognitive resources.
More specifically, the security and verification of cyberphysical systems. From critical infrastructure, trains, drones… as we make machines autonomous, one of the most important problems is in whether we can trust.
I'm currently working on... A Treatise On The Motion Of Autonomous Machine
Motion
How state, action, and a rule of change become a machine that can move.
Cognition
What memory and representation can—and cannot—mean for a mechanical system.
Mathematics
Why adjoining a missing root creates a larger field, and how those extensions form a tower.