Dongkyu Choi

E-mail: DONGKYUC at STANFORD dot EDU

Rm#102, Cordura Hall
210 Panama street
Stanford, CA 94305 USA
1-650-723-2487

Education:

PhD candidate(2003-), Aeronautics and Astronautics, with PhD minor in Computer Science, Stanford University, CA, USA
    Thesis Topic - Continuous Control of Symbolic Structures: A Hierarchical Approach to Hybrid Systems
M.S.(2003), Aeronautics and Astronautics, Stanford University, CA, USA
B.S.(2001), Aerospace Engineering, Seoul National University, Korea

Research Interests:

- Artificial Intelligence
    - Intelligent Agent Architecture
        - Cognitive Architecture for Physical Agents

Recent Publications:

2007
- Li, N., Choi, D., & Langley, P. Adding Goal Priorities to Teleoreactive Logic Programs. Proceedings of the International Symposium on Skill Science 2007, Tokyo, Japan, 2007. PDF
- Park, C., & Choi, D. Managing Resources through Parallel Skill Execution. Proceedings of the International Symposium on Skill Science 2007, Tokyo, Japan, 2007. PDF
- Choi, D., Konik, T., Nejati, N., Park, C., & Langley, P. Structural transfer of cognitive skills. Proceedings of the Eighth International Conference on Cognitive Modeling, Ann Arbor, MI, 2007. PDF
- Choi, D., Morgan, M., Park, C., & Langley, P. A testbed for evaluation of architectures for physical agents. Proceedings of the AAAI-2007 Workshop on Evaluating Architectures for Intelligence, Vancouver, BC: AAAI Press, 2007. PDF
- Choi, D., Konik, T., Nejati, N., Park, C., & Langley, P. A believable agent for first-person shooter games. Proceedings of the Third Annual Artificial Intelligence and Interactive Digital Entertainment Conference, Stanford, CA: AAAI Press, 2007. PDF
2006
- Langley, P., & Choi, D. A unified cognitive architecture for physical agents. Proceedings of the Twenty-First National Conference on Artificial Intelligence, Boston: AAAI Press, 2006. PDF
- Langley, P. & Choi, D. Learning recursive control programs from problem solving. The Journal of Machine Learning Research, 7, 493-518, 2006. PDF
2005
- Choi, D. & Langley, P. Learning teleoreactive logic programs from problem solving. Proceedings of the Fifteenth International Conference on Inductive Logic Programming, pp. 51-68, Bonn: Springer-Verlag, 2005. PDF
2004
- Choi, D., Kaufman, M., Langley, P., Nejati, N., & Shapiro, D. An architecture for persistent reactive behavior. Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems, pp. 988-995, New York: ACM Press, 2004. PDF

Skills:

- Certified as a Microsoft Certified Professional (MCP) since 1997
- Certified as a Microsoft Certified Systems Engineer (MCSE) during 1997-2001
- Languages: Korean (native), English (fluent), Japanese (conversational)