Ajay Bansal

Dr. Ajay Bansal is a Teaching Professor and Associate Program Chair of the Software Engineering program at Arizona State University's School of Computing and Augmented Intelligence. He joined ASU in 2011 and previously served as a visiting assistant professor at Georgetown University. His academic journey includes a Ph.D. in Computer Science from the University of Texas at Dallas, an MS from Texas Tech University, and a B.Tech. from NIT Warangal.

His research focuses on declarative programming languages, including Logic Programming, Answer Set Programming, and Knowledge Representation. He also explores Computing Education, particularly Individualized Learning and Game-based approaches. Notable achievements include the Test of Time Award at ICLP 2016 for coinductive logic programming and multiple teaching awards, including the Fulton Teaching Excellence Award (2019, 2022).

Dr. Bansal has over 80 peer-reviewed publications spanning journals, conferences, and book chapters. His work bridges theoretical contributions (e.g., stableKanren integration) and practical applications like automated assessment systems. He actively contributes to courses such as Intro to Programming Languages and Database Management.

• Education:
  • Ph.D. Computer Science, University of Texas-Dallas (2007)
  • M.S. Computer Science, Texas Tech University (2002)
  • B.Tech. Computer Science and Engineering, NIT Warangal, India (1999)
• Awards:
  • Test of Time Award (ICLP 2016)
  • Fulton Teaching Excellence Award (2019, 2022)
  • Best Teacher Award (Top 5%) (6x)
• Advising & Grants: While no specific student names are listed, his roles involve academic advising and curriculum development. Industry experience includes software engineering roles at SIEMENS India, Metallect Corp., and Tyler Technologies.
• Labs/Teams: Engaged in educational technology initiatives and declarative programming research groups.