Aswin Surya

MATS 11.0 Fellow, Redwood Research · UC Berkeley EECS

email · github · linkedin

Research & writing

Agentic evaluation

Benchmarks pushing agents on real web tasks, turning a website screenshot into working code.

Berkeley AI Research (BAIR) · Dawn Song

Verifiable safety

Extending data-driven Hamilton–Jacobi reachability for control systems with unknown dynamics.

Berkeley AI Research (BAIR) · Claire Tomlin

A Mosquito is Worth 16×16 Larvae

First-authored. Vision Transformers vs. CNNs for mosquito-larvae classification; presented at AGU.

arXiv · 2022

Background