Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Safe Control Under Input Limits with Neural Control Barrier Functions

Published in Conference on Robot Learning (CoRL), 2022, 2022

We scale safety filter synthesis to high-dimensional systems by training a neural control barrier function, synthesizing a filter for a 10D quadrotor–pendulum system that triggers orders of magnitude less often than MPC.

Learning the Positions in CountSketch

Published in International Conference on Learning Representations (ICLR), 2023, 2023

We show that the hash positions in CountSketch can be learned from data to improve performance, and provide theoretical guarantees. Oral presentation (top 25%) at ICLR 2023.

Safety Index Synthesis via Sum-of-Squares Programming

Published in American Controls Conference (ACC), 2023, 2023

We formulate safety index synthesis as a sum-of-squares programming problem, enabling automated construction of control barrier functions for nonlinear systems with formal safety guarantees.

Synthesis and Verification of Robust-Adaptive Safe Controllers

Published in European Controls Conference (ECC), 2024, 2024

We consider safety filter synthesis for systems with uncertain model parameters, devising a sum-of-squares programming algorithm that generates a geofencing filter for a quadrotor with unknown drag in minutes.

talks

Synthesis of Safe Control Filters for Uncertain Systems

Published:

Conference presentation of our paper on synthesis and verification of robust-adaptive safe controllers, including a sum-of-squares programming approach for safety filter synthesis under parametric uncertainty.

Reactive Safety for Self-Driving

Published:

Awardee talk presenting research on reactive safety filters for self-driving systems, including synthesis methods for uncertain and high-dimensional systems.

teaching

Efficient Algorithms and Intractable Problems (CS 170)

Undergraduate course, UC Berkeley, 2017

Teaching assistant for UC Berkeley CS170: Efficient Algorithms and Intractable Problems (Fall 2017 and Fall 2018), taught by Profs. Umesh Vazirani, Prasad Raghavendra, and Sanjam Garg. A core undergraduate algorithms course covering divide-and-conquer, dynamic programming, graph algorithms, NP-completeness, and approximation algorithms. Recognized among the top 10% of TAs in the UC Berkeley EECS Department.

Math Fundamentals for Robotics (16-811)

Graduate course, Carnegie Mellon University, 2021

Teaching assistant for CMU 16-811: Math Fundamentals for Robotics, taught by Prof. Michael Erdmann. A graduate-level course covering the mathematical foundations of robotics including linear algebra, calculus, probability, and optimization.