Menu
AI Institute:
TILOS
University/Company:
UC San Diego
Department:
Computer Science and Engineering
Email:
sicung@ucsd.edu
AI Institute Title:
Faculty Researcher
University/Company Title:
Associate Professor
Research Expertise:
Computer Chip Design
AI Institute Project Involvement:
Dynamic decisions under uncertainty (F4); Better search methods for derivative-free optimization (C2.1); Interior search for nonlinear SMT and applications in verification (C2.2)
