Fenye Bao

Department of Computer Science
Virginia Tech
7054 Haycock Road, Room 303
Falls Church, VA 22043

Phone: (703) 538-8371
Email: baofenye@vt.edu


Research Interests

  • Information Retrieval
  • Geospatial Data Mining
  • Software Formalization and Verification

Current Projects
Crse
Crime Report Search Engine
Tuna
Tuna Language Static Checker

Publication

  • Fenye Bao, Li Zhang, "A model checking method to verify BPEL4People processes", IEEE Symposium on Advanced Management of Information for Globalized Enterprises, Tianjin, China, September, 2008. pp. 166-170.

Education

  • Ph.D. student, Aug. 2009 ~ present, Computer Science, Virginia Tech
  • M.E., 2009, Software Engineering, Tsinghua University, China
  • B.E., 2006, Computer Science, Nanjing University of Aeronautics and Astronautics, China

Experience

  • Research Assistant, 2009.8 ~ now, Department of Computer Science, Virginia Tech
  • Intern, 2009.6 ~ 2009.8, Data Crawling and Integration, Dely Online
  • Intern, 2007.3 ~ 2009.6, Solaris Desktop, Sun Microsystems

Courses that I am taking now ...

  • Mobile Computing (CS6204)
  • Information Storage and Retrieval (CS5604)
  • Software Engineering (CS5704)
  • Graduate Seminar (CS5944)


Last Update: Nov. 11, 2009 at Falls Church