news

Jul 20, 2026 Our paper "Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions" has been accepted to Formal Methods in Computer-Aided Design (FMCAD) 2026
Jul 10, 2026 Participated in my first Triple Bypass 2026, a 120-mile, 10,800-foot elevation gain bike race in Colorado!
Apr 29, 2025 Will be attending Neuro-symbolic Systems (NeuS) 2025 at University of Pennsylvania, PA, USA between May 27 and May 30. Hope to see you there!
Apr 22, 2025 Our paper "Taylor-Model Physics Informed Neural Networks (PINNs) for ODEs" has been accepted to Neuro-symbolic Systems (NeuS) 2025
Jun 1, 2024 Will be starting my internship at SRI International! Working with Susmit Jha (CSL @ SRI)
Dec 15, 2023 Our paper "Salient Object Detection for Images Taken by People With Vision Impairments" has been accepted to Winter Conference on Applications of Computer Vision (WACV) 2024
May 1, 2023 Will be starting my internship at Amazon Science, Seattle!