Experience
Education
Bio
Ph.D. (Computer Sciences), The University of Texas at Austin, 2002. Dissertation: Theory and applications of answer set programming. Advisor: Vladimir Lifschitz. Thesis committee: Chitta Baral, J. Strother Moore, Tandy Warnow, Martin D. F. Wong. M.S. (Computer Sciences), The University of Texas at Austin, 1998. B.S. (Computer Sciences), Bilkent University, 1996, with high honors Experience 11/2012–present Sabancı University. Associate professor, Faculty of Engineering and Natural Sciences. 9/2006–11/2012 Sabancı University. Assistant professor, Faculty of Engineering and Natural Sciences. 9/2003–8/2006 Vienna University of Technology. Post-doctoral researcher, Knowledge-Based Systems Group (Thomas Eiter). Monitoring of plan execution, and updates of action domain descriptions. 8/2002–8/2003 University of Toronto. Post-doctoral fellow, Cognitive Robotics Group (Hector Levesque and Ray Reiter). The situation calculus and cognitive robotics. 1/1999–8/2002 University of Texas at Austin. Research assistant, Department of Computer Sciences (Vladimir Lifschitz). The mathematical theory of logic programming, knowledge representation, reasoning about actions and change, planning, and answer set programming. 6/2001–8/2001 IBM, Austin Research Lab. Intern, Formal Verification Group (Warren Hunt and Jun Sawada). The design and the implementation of a program to be used for hardware verification. 8/1996–12/2001 University of Texas at Austin. Teaching assistant, Department of Computer Sciences. AWARDS AND HONORS NATO Science Fellowship, 1996–2002. Travel Award, The University of Texas at Austin, The Department of Computer Sciences, 1999 and 2001. GTE Corporation Fellowship, 1997. TA-Service Commendation, The University of Texas at Austin, The Department of Computer Sciences, 1997. Full Scholarship, Bilkent University, 1992–1996. ARTICLES 18. Esra Erdem and Umut Oztok. Generating Explanations for Biomedical Queries. In Theory and Practice of Logic Programming (TPLP), 5(1)35–78, 2015. DOI: http://dx.doi.org/10.1017/S1471068413000598 17. Zeynep Dogmus, Esra Erdem, and Volkan Patoglu. REHABROBO-ONTO: Design, Development and Maintenance of a Rehabilitation Robotics Ontology on the Cloud. In Robotics and Computer Integrated Manufacturing (RCIM), 2014. DOI: 10.1016/j.rcim.2014.08.010 16. Zeynep Dogmus, Esra Erdem, and Volkan Patoglu. REACT!: An Interactive Educational Tool for AI Planning for Robotics. In IEEE Transactions on Education (IEEE TOE), 2014. DOI: http://dx.doi.org/10.1109/TE.2014.2318678 15. Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur, Peter Schueller, and Tansel Uras. Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach. In Theory and Practice of Logic Programming (TPLP), 13(4–5):831–846, 2013. DOI: http://dx.doi.org/10.1017/S1471068413000525 14. Thomas Eiter, Esra Erdem, Halit Erdogan, and Michael Fink. Finding Similar/Diverse Solutions in Answer Set Programming. In Theory and Practice of Logic Programming (TPLP), 13(3): 303–359, 2013. DOI:10.1017/S1471068411000548 13. Martin Brain, Esra Erdem, Katsumi Inoue, Johannes Oetsch, Joerg Puehrer, Hans Tompits, and Cemal Yilmaz. Event-Sequence Testing using Answer-Set Programming. In International Journal On Advances in Software, 5(3–4):237–251, 2012. 12. Esra Erdem and Umut Oztok. BioQuery-ASP: Querying Biomedical Databases and Ontologies using Answer Set Programming. In EMBnet.journal, 18(Supplement B):62–64, 2012. 11. Esra Erdem, Erdi Aker, Volkan Patoglu. Answer Set Programming for Collaborative Housekeeping Robotics: Representation, Reasoning, and Execution. In Intelligent Service Robotics, 5(4):275–291, 2012. DOI:10.1007/s11370-012-0119-x