Weina Shen   Graduate Student   University of Miami   Department of Computer Science   Ungar Building, Room 440   1365 Memorial Drive   Coral Gables, FL 33146, USA   305-284-4220   w.shen@umiami.edu

Educational background

M.S Department of Computer Science, University of Miami, Coral Gables, Florida.

B.S Department of Computer Science and Technology, University of Science and Technology of China, Hefei, P.R.China.

Courses

Fall 2005

• CSC 555, Multimedia System
• EEN 577, Data Mining Project 1: Data Mining in Business

Spring 2005

• CSC 689, Computer Graphics
• CSC 519, Theory of Computation
• EEN 517, Machine Learning

Fall 2004

• CSC 648, Automated Reasoning
• CSC 624, Wireless Mobile System
• CSC 609, Introducton to Cryptography

Research Interests

• Proofs of Equivalence in Modal Logic

  • Proofs in equivalence of PC systems
  • Proofs in equivalence of S5 systems

• Relationships between Modal Logics

• Thesis

  Automated Proofs of Equivalence of Modal Logic Systems pdf