I am Joohyung Lee, an assistant professor of the Computer Science and Engineering Department at the Arizona State University, and a member of the AI Lab at ASU, and the Texas Action Group.

The following is my contact information:

Department of Computer Science and Engineering
Ira A. Fulton School of Engineering
Arizona State University
699 South Mill Avenue
Tempe, AZ 85281

URL : peace.eas.asu.edu/joolee
office : BYENG 472
fax: 480-965-2751 (Attn: Joohyung Lee)

My research interests are in applications of mathematical logic to artificial intelligence and computer science, in particular, knowledge representation and reasoning, logic programming, answer set programming, commonsense reasoning, nonmonotonic reasoning, and computational semantics of natural language.

In Fall 2009, I'm teaching

In Spring 2010, I'll be teaching CSE 459 Logic for Computer Scientists.

My office hours for Fall 2009 are MW 5-6 p.m.

Students who want to work in our group will need a strong background in mathematical logic, which can be learned in a course like CSE 459 Logic for Computer Scientists.

Academic Genealogy

Google

"The key insight might come to you only after you have spent hours in formula manipulation and given up in frustration to work on some nonintellectual task like riding your bike, mowing the lawn, or taking a shower. The subconscious is a powerful thing, especially after you have internalized the behavior of the symbols in your problem. ( From Computer-Aided Reasoning: An Approach, p 113) "