Bio: | Currently: Assistant Professor in Department of Computer Science at the University of British Columbia in Vancouver, Canada. Interests include scientific computing, hybrid systems, verification and robotics.
Previously: Postdoctoral researcher, EECS at UC Berkeley |