Skip to content

About

Welcome to my blog. This is me documenting my explorations and buildings.

Some of my research interests:

  • Literature
  • Logic
    • Formal systems and type theory
    • Many-valued logic
  • Engineering, specifically
    • Intersection of congnitive science and ML
    • Problems in human computer interfacing (design, safety, reliability)
    • Robotics and spatial reasoning