Education

08/2004 -- Current

Department of Computer Science, State University of New York at Stony Brook (SUNY-SB)

Major: Computer Science

Degree: Master Science in Computer Science, 12/2006

Degree Pursuing: Ph.D. in Computer Science, Ph.D Candidate, Qualification Exams and RPE cleared.

09/1999 -- 06/2004

Department of Computer Science, University of Science and Technology of China (USTC)

Major: Computer Science

Degree : Bachelor Science in Computer Science, 06/ 2004

Projects

Publications

The Belief-Desire-Intention Modeling and Representation of Desire, Zhiquan Gao, Bachelor Thesis for Computer Science

A Formal System of Goal Consequences, Zhiquan Gao, Yi Zhou, Xiaoping Chen, China National Computer Conference 2003, Volume 1, P113-P118

Courses

Fall 2006

• CSE 515 Database Transaction Processing Systems
• CSE 537 Artificial Intelligence
• CSE 600 Ongoing Research Seminar
• CSE 652 Algorithms Seminar
• CSE 696 Ph.D. Internship in Research (Host Lab: Siemens Corporate Research)

Summer 2006

• CSE 696 Ph.D. Internship in Research (Host Lab: Siemens Corporate Research)

Fall 2005

• CSE 505 Computing With Logic (Logics, Logic Programming)
• CSE 506 Operating Systems (Linux Kernel Programming / C Language)
• CSE 593 Independent Study in Computer Science
• CSE 600 Ongoing Research Seminar

Spring 2005

• CSE 541  Logic in Computer Science (Prop. Logic, FOL, Modal Logics, CTL, Agent)
• CSE 634  Data Mining Concepts and Techniques
• CSE 691  Advanced Logic Programming (CSP, Flora2, XSB, Tabled Logic Programming, WAM)

Fall 2004

• CSE 540  Theory of Computation 
• CSE 548  Analysis of Algorithms 
• CSE 532  Theory of Database Systems
• CSE 600  Ongoing Research Seminar
• CSE 652  Algorithms Seminar

Teaching Assistant Work

Graduate Theory of Database Systems Project Page

Spring 2006

• CSE 532 Graduate Theory of Database Systems (Full and solo) by Prof. Michael Kifer

  I maintain the ProjectPage

Fall 2005

• CSE 532 Graduate Theory of Database Systems (Full and solo) by Prof. Michael Kifer

  I maintain the ProjectPage

Spring 2005

• CSE 532 Graduate Theory of Database Systems (Full and solo) by Prof. Himanshu Gupta

  I maintain the ProjectPage

Fall 2004

• CSE 371 Undergraduate Logic under Prof. Anita Wasilewska

• CSE 537 Graduate Artificial Intelligence under Prof. I. V. Ramakrishnan

Activities

• 2005 - 2006 Secretary of Chapin Apartments Residents Association in State University of New York at Stony Brook

Useful Links

• A.I.

• Algorithms

• Database

• Finance

• Logics

• Unix / Linux

• Machine Learning (Data Mining)

• Miscellaneous

• Semantice Web

• People

• Programming

• Puzzles

• RoboCup

• Void Object to extend

Last updated: July 2007