Registered user since Wed 23 Dec 2015
Name:Suguman Bansal
Bio:
Suguman Bansal is an incoming Assistant Professor in the School of Computing at Georgia Institute of Technology, starting in January 2023. Her research is focused on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she was an NSF/CRA Computing Innovation Postdoctoral Fellow at the University of Pennsylvania, mentored by Prof. Rajeev Alur and completed her Ph.D. at Rice University advised by Prof. Moshe Y. Vardi. She is the recipient of the 2020 NSF CI Fellowship and has been named a 2021 MIT EECS Rising Star.
Country:United States
Affiliation:Rice University, USA
Personal website: http://www.sugumanbansal.com
Research interests:Reactive systems, formal methods, artificial intelligence
Contributions
2022
Static Analysis Symposium
SPLASH 2022-profile
View general profile
View general profile