Projects

Brain Controlled Robot Painting

A robotic art installation designed to create paintings based on brain data.

Autonomous Combat Robot

Real-life and simulated self-driving robots, making combat decisions.

Mudskip

Type-theoretic model of natural language statements.