Explore projects

Used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper.

A differential-drive mobile robot experimental platform to be used primarily for controls research. This project utilizes full-stack architecture with Arduino C++ firmware onboard the robots paired with a Matlab user-interface.

Heart Rate Monitor

BME 462: Design for the Developing World Fall 2016 Pneumonia Etiology Detection using Impedance Stimulation Device: Software

Team Members: Manish Nair Meggie Lund Aniruddh Prakash Steve Noh

Finite Element Modeling (FEM) Code: Python Tools, Field II Intensity Field Solution, LS-DYNA Pre/Post Processing

Problem sets and project reports for MATH 590: Error-Correcting Code (Fall 17)

JSON is a good format for saving metadata for a study. I created this file from a CSV used by another lab member to capture info about acquisitions in the clinic. JSON can be read into many programs and languages and is easy to read/write as a human.

Vietoris-Rips Persistence on Gait-Based Features