Registered user since Fri 17 Oct 2014
I am an Assistant Professor in the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign (UIUC). I also co-lead the Science and Technology Working Group at the Institute of Government and Public Affairs, University of Illinois, focusing on AI governance and the future of work with AI. My research combines ideas from formal methods, machine learning, and systems research to develop systematic and theoretically principled approaches for building intelligent computing systems with formal guarantees.
Our group at UIUC has been at the forefront of advancing Trustworthy AI, pioneering state-of-the-art methods for certifying, monitoring, and synthesizing frontier AI systems with formal guarantees. Our work has been recognized through several awards, including the NSF CAREER Award, the Google Research Scholar Award, multiple Amazon Research Awards, and an Open Philanthropy research grant.
Contributions