← back to search

Sicun Gao

University of California San Diego · US
Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Formal Methods in Verification, Reinforcement Learning in Robotics, Logic, programming, and type systems, and Adversarial Robustness in Machine Learning.
h-index
22
citations
2,368
works
144
NIH funding
—
primary concept
—
email
✉ Find email ↗

Recent publications

Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control
IEEE Transactions on Robotics 2023cited by 208position: middledoi
A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids
IEEE Transactions on Smart Grid 2021cited by 67position: middledoi
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2020cited by 42position: middledoi
Interpolants in Nonlinear Theories Over the Reals
Lecture notes in computer science 2016cited by 17position: firstdoi
SMT-Based Nonlinear PDDL+ Planning
Proceedings of the AAAI Conference on Artificial Intelligence 2015cited by 58position: middledoi

Grants

Collaborative Research: DASS: Enabling Standards- and Disclosure-Based Regulations in and through Software Systems: Making Algorithmic Work Management Software Accountable to Law
NSF2217723$250,0002022–2026PIRePORTER
Career: Correct-by-Learning Methods for Reliable Autonomy
NSF2047034$609,0762021–2027PIRePORTER

Frequent collaborators

Hayoung Kim · Daegu Gyeongbuk Institute of Science and Technology1 papers (2020–2020)Dongwon Park · Seoul National University1 papers (2020–2020)Charles Dawson · Massachusetts Institute of Technology1 papers (2023–2023)Ilgweon Kang · Cadence Design Systems (United States)1 papers (2020–2020)Damien Zufferey · University of Fribourg1 papers (2016–2016)— · 1 papers (2015–2015)Robert P. Goldman · University of California System1 papers (2015–2015)Chuchu Fan · Massachusetts Institute of Technology1 papers (2023–2023)Daeyeal Lee · University of California San Diego1 papers (2020–2020)— · 1 papers (2015–2015)Chung‐Kuan Cheng · University of California San Diego1 papers (2020–2020)Le Xie · Texas A&M University1 papers (2021–2021)Tong Huang · Massachusetts Institute of Technology1 papers (2021–2021)Chia-Tung Ho · Nvidia (United States)1 papers (2020–2020)Bill Lin · University of Washington1 papers (2020–2020)