System Software Engineer at Laza Medical, working on medical robotics.
> about.me
> current_work.sh
System Software Engineer
Working on some pretty cool robotics stuff at Laza Medical. I spend my days developing hardware-in-the-loop test plans and building wireless connectivity solutions between tablets and PCs using ROS. Recently set up data collection protocols for NDI sensors that made our data way more reliable. Also built a local Apt-Cache for Mender that made our development workflow super smooth. It's a fun mix of robotics, software, and problem-solving.
> publications.bib
Learning Verifiable Control Policies Using Relaxed Verification
To provide safety guarantees for learning-based control systems, recent work has developed formal verification methods to apply after training ends. However, if the trained policy does not meet the specifications, or there is conservatism in the verification algorithm, establishing these guarantees may not be possible. Instead, this work proposes to perform verification throughout training to ultimately aim for policies whose properties can be evaluated throughout runtime with lightweight, relaxed verification algorithms.
Read Paper
> latest_posts.md
View AllNobody's got the time, Docker.
Docker builds repeatedly download the same packages, wasting bandwidth and slowing build times. Using apt-cacher-ng as a local caching proxy solves this by downloading packages once and reusing them for all future installations.
Hey Alexa, When's My Train? The Ultimate MBTA Skill
Creating an Alexa skill to track Boston's public transit in real-time. This project combines voice technology with public transit APIs to solve the everyday problem of unpredictable train arrivals.
Understanding Linear Algebra for Machine Learning: A Comprehensive Guide
A deep dive into the fundamental linear algebra concepts essential for machine learning, covering vectors, matrices, eigenvalues, and their applications in ML algorithms.
