GradNova

Z

Zhaodan Kong

Associate Professor

Computer Science, University of California, Davis

Research Interests

Formal Methods in Verification

Human-Automation Interaction and Safety

Neural Dynamics and Brain Function

Robotic Path Planning Algorithms

Robotics and Sensor-Based Localization

Academic Metrics

Links

Grants