Paper Stands Test of Time
A paper written in 2006 by three PhD students and a Jonsson School Department Head received a 10-year Test of Time Award from the Association for Logic Programming (ALP) at the 32nd International Conference on Logic Programming (ICLP) last fall. Dr. Luke Simon BS’01, PhD’06; Dr. Ajay Bansal PhD’07; and Dr. Ajay Mallya MS’02, PhD’06; were co-authors on a paper with Dr. Gopal Gupta, head of the Department of Computer Science and holder of the Erik Jonsson Chair. Their paper, “Coinductive Logic Programming,” demonstrated a practical way of addressing circular, infinite-patterned objects in a computational setting. The work became the foundation for many efforts to address unsolved problems within logic and computer science. Simon is now a software engineer at Twitter; Bansal is now an assistant professor at Arizona State University; and Mallya joined Amazon.com after graduation and more recently went to work for KeyMe.
