Description: Your description goes here
keywords (24405) your (16722) here (3836) goes (780)
I am an Assistant Professor in the School of Computer Science at Georgia Institute of Techology . Previously, I was an NSF/CRA Computing Innovation Postdoctoral Fellow at University of Pennsylvania, mentored by Rajeev Alur . I completed Ph.D at Rice University, advised by Moshe Y. Vardi . I am broadly interested in Formal Methods and Logic , and their applications to Artificial Intelligence , Machine Learning , and Programming Languages . The long-term reserach goal is to build Trustworthy AI by simplifying
I have open positions for interns, graduate students (PhDs and Masters) and postdocs . Please Apply To GaTech and get in touch if you are interested in (a) Theory and applications of Formal Methods, (b) (Deep) Reinforcement Learning, and/or (c) Automata and Logical Methods. Check out our Reseach Statement . Please send me your CV, if interested.
Recent and Upcoming Talks. Keynote Speaker SAS 2022 | Tutorial AAAI 2023 | EECS, UC Berkeley, April 2023