Ben Manley
AboutTech ProjectsFilmsResumé
Here's what I've built.
Michigan Hyperloop project card background picture
Michigan Hyperloop 
Student Team - Controls/Software Lead 
(2017-2019)

The computer system and sensor array for a high-speed vehicle competing in SpaceX's Hyperloop Pod Competition.
Michigan Robotic Submarine project card background picture
Michigan Robotic Submarine 
Student Team - Co-Founder, Software Lead 
(2020-2021)

The control/navigation software for an autonomous underwater vehicle competing in RoboNation's RoboSub Competition.
Dafinite project card background picture
Dafinite 
Graduate Course Research Project 
(2021)

Finitization of Dafny protocols to enable model checking of Dafny-implemented distributed programs.
SaniBot project card background picture
SaniBot 
Senior Design Project 
(2021)

A robot that autonomously explores, maps, and segments a space and sanitizes objects with a UV light.
Quantum Decoherence project card background picture
Quantum Decoherence 
Term Paper 
(2021)

Final paper for EECS 598: Quantum Information, Probability, and Computing.
Ethical AI Development project card background picture
Ethical AI Development 
Term Paper 
(2022)

Final paper for UMich's EECS 598: Ethics of AI and Robotics.
Personal Website project card background picture
Personal Website 
Independent 
(2020)

This website - a React app, built and styled from scratch.
The Dranzleyder project card background picture
The Dranzleyder 
Independent 
(2020)

A browser extension I made as a joke, live on the Chrome Web Store, that translates all text on a given webpage to a "softer" pronunciation.
Warmer Winter Walks project card background picture
Warmer Winter Walks 
Course Project 
(2020)

An interactive-map React app that provides routes between locations on Michigan's North Campus.
Super MIDIo Bros project card background picture
Super MIDIo Bros 
Hackathon Team Member 
(2018)

A controller for Super Mario Bros Level 1-1 using a MIDI Keyboard. Made for MHacks 11.