Software Engineer @ From July 2015 to Present (4 months) Graduate Student Researcher @ Member of Prof. Adnan Darwiche's Automated Reasoning group. Research in knowledge representation and reasoning, integration of probabilistic and logical reasoning. From September 2012 to March 2015 (2 years 7 months) Greater Los Angeles AreaTeaching Assistant @ -- CS 32 - Introduction to Computer Science II -- Taught object-oriented design in C++, data structures, algorithm analysis, searching, sorting and recursion in weekly discussion sections. Graded exams. -- CS 161 - Fundamentals of Artificial Intelligence -- Taught introduction to Lisp, problem solving and search, propositional and first-order logic, Bayesian networks, decision trees and neural networks in weekly discussion sections. Graded homework and exams. From September 2013 to December 2014 (1 year 4 months) Summer Intern @ Implementation of the documentation and the testing tools of an IDE for answer set programming. From June 2011 to September 2011 (4 months)

Master of Science (M.S.), Computer Science, 3.64/4.00 @ University of California, Los Angeles From 2012 to 2015 Bachelor of Science (BS), Computer Science and Engineering, GPA: 3.83/4.00, Major GPA: 3.98/4.00 @ Sabanci University From 2007 to 2012 Doga Kisa is skilled in: C++, Algorithms, Computer Science, Java, LaTeX, C, Python, Knowledge Representation, Artificial Intelligence, Research, Software Engineering, Software Development, Data Analysis