Wenchao Li

A dependable-computing researcher whose work sits at the intersection of formal methods and machine learning, focusing on neuro-symbolic reasoning and the safety and trustworthiness of AI-driven autonomous systems. His laboratory develops computational proof techniques with applications from design automation to multi-robot systems and self-driving cars.