Explore projects
-
Used benchmarks for "Statistical Verification of Learning-Enabled Cyber-Physical Systems" paper.
Updated -
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.
Updated -
-
Updated
-
Photoacoustic imaging of a near-infrared transgenic phytochrome
Updated -
-
Updated
-
-
-
this is code associated with the following manuscript: Gigapixel behavioral and neural activity imaging with a novel multi-camera array microscope
Updated -
-
This project contains the code for the USENIX '22 paper on compromising LiDAR and camera+LiDAR perception in autonomous vehicles with black-box spoofing attacks.
Updated -
Updated
-
Non-invasive Bone Mineralization Measurement Device in NICU Infants for BME 790 Spring Semester
Updated