Celebrating student achievements: CSE graduate students and alumni shine at international conferences
How are groundbreaking ideas in logic programming shaping the future of technology? CEC student and alumni researchers are showing the way.
Celebrating student achievements: CSE graduate students and alumni shine at international conferences
Graduate students and alumni from the Department of Computer Science and Software Engineering (CSE) recently showcased their research at leading conferences, setting new standards in logic programming and earning recognition for their contributions to the field.
Last month, Associate Professor Daniela Inclezan traveled with four current and former graduate students to The University of Texas at Dallas, where they showcased their work in logic programming at top conferences, including the Datalog 2.0 workshop, the International Conference on Logic Programming and Non-monotonic Reasoning (), and the International Conference on Logic Programming ().
The 5th International Workshop on the Resurgence of Datalog in Academia and Industry () took place on October 11. Co-authored by CEC alumna Pratiksha Shrestha, current graduate students Anita Baral and Jitendra Sharma presented their paper, “An Exploration of Datalog Applications to Language Documentation and Reclamation.” Their research leverages Datalog to create a stem decomposition tool utilizing the DLV system to support documentation and revitalization of the reawakening Myaamia language, a project that enriches efforts to preserve linguistic diversity and cultural heritage.
From October 11th to 14th, the LPNMR Conference brought together researchers in logic programming, non-monotonic reasoning, and knowledge representation, fostering interdisciplinary discussions and collaboration. CEC alumnus Vineel Tummala presented his master’s thesis work, “Policies, Penalties, and Autonomous Agents,” co-authored with Daniela Inclezan. Their research proposes a framework that uses “Authorization and Obligation Policy Language” and “Answer Set Programming” to enhance autonomous agents' policy compliance, allowing them to consider potential penalties in their planning processes.
The final event, the 40th annual International Conference on Logic Programming, ran from October 11th to 17th. This premier conference draws contributions from across logic programming, including theoretical foundations, program analysis, and applications in machine learning. At ICLP, former CSE graduate student Sean Glaze presented his master’s thesis research titled “Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents,” also co-authored with Inclezan. The paper introduces a software architecture enabling policymakers to simulate and adjust the norm-compliance behavior of autonomous agents, which may have applications in time-sensitive rescue operations and other real-world scenarios.
By attending prestigious conferences like Datalog 2.0, LPNMR, and ICLP, CSE students gain invaluable exposure, network with international experts, and open pathways for future collaborations. CSE is proud of the contributions these students have made to their fields, inspiring the next generation of innovators. For more on student achievements and research initiatives, and stay connected with our driven community.