Operating systems researcher focused on scheduler design and resource isolation for multi-tenant workloads. Has contributed to Linux kernel patches around cgroup throttling and worked extensively on real-time scheduling for robotics. Finds the parallels between OS process scheduling and multi-agent task allocation fascinating.