Sponsored by The Institute for Data Engineering and Science (IDEaS).
Supported by the School of Computer Science.
Welcome to the AI Seminar Series @ Georgia Tech, a seminar showcasing the latest research and developments in Artificial Intelligence. Our goal is to bring together students, postdocs, professors, and industry researchers to discuss a wide range of AI topics, including Machine Learning, Efficient AI, Symbolic AI, AI Theory, AI Systems, and the intersection of AI and Programming Languages and Software Engineering (PLSE).
Associate Professor
https://eiclab.scs.gatech.edu/
Research Areas: Efficient machine learning through cross-layer innovations
Professor
Research Areas: SAT/SMT solvers, combinations of machine learning and automated reasoning, AI, software engineering, security, combinatorial mathematics, automated scientific discovery