Welcome! I am an associate professor in
the School of Computing, Informatics, and Decision Systems Engineering (CIDSE)
at Arizona State
Here is my contact information:
School of Computing, Informatics, and Decision Systems Engineering
I lead the Automated Reasoning Group at ASU, which is part of the AI Lab at ASU and is one of the TAG teams.
I am interested in designing and building intelligent systems, which can perform automated reasoning based on the knowledge represented in a formal language, thereby intelligently handling open-ended tasks by "thinking." Towards this end, I have been working on Knowledge Representation and Reasoning, Computational Logic, Logic Programming, Commonsense Reasoning, Reasoning Under Uncertainty, Ontology Modeling, Cognitive Robotics, Security, and Question Answering.
More information and news can be found from my publication page and my research group homepage.
In Spring 2017, I am teaching
My office hours for Spring 2017 are MW 9-10AM. My research group meeting time is F 1-3:30PM.
If you are interested in working in my group, please read this page first.
Here is the link to the AAAI 2016 tutorial on Answer Set Programming Modulo Theories.
Here is the link to the AAAI 2012 tutorial on Theory and Practice of Answer Set Programming.
Here is the link to the ICLP 2013 Homepage: 29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013).
1st Workshop on Action Languages, Process Modeling and Policy Reasoning (ALPP 2015), collocated with 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)