Shaohui Wang (aka Vincent)

About Me

I'm a PhD student in the Department of Computer and Information Science at Penn. I am affiliated with the PRECISE center and the RTG group. I work with Professor Insup Lee and Professor Oleg Sokolsky.

Previously I was an undergraduate in the major of Information and Computing Science in Department of Mathematical Sciences at Tsinghua University, and then a graduate student in the major of Mathematical Logic in Department of Philosophy at Peking University.

Research Projects

My research interest lies in topics in formal methods, especially formal specification, verification, and algorithms and applications of model checking techniques. More broadly, I'm interested in studies which help build reliable, safe, and efficient software systems, such as topics appeared in software engineering, computer aided verification and theory of programming languages. I am involved in the following projects:

• Model-Extraction via Program Analysis
• The Pacemaker Challenge
• Medical Devices Plug and Play
• Assurance and Safety Cases for Medical Devices
• Runtime Monitoring and Runtime Verification

Teaching

• Fall 2011
  Grader for CIS441 / 541
  Embedded Software for Life-Critical Applications
  • Everything is available at Blackboard.
• Fall 2010
  Teaching Assistant for CIS441
  Embedded Software for Life-Critical Applications
  • Office Hours: By Appointment
  • Course Webpage
  • Everything else is available at Blackboard.
• Spring 2010
  Teaching Assistant for CIS541
  Embedded and Cyber Physical Systems
  • Course Webpage
• Fall 2009
  Teaching Assistant for CIS140
  Introduction to Cognitive Science
  • Office Hours: Monday 1pm-2pm & Tuesday 11am-12pm @ Levine 612
  • All course materials, homeworks, information are available at Blackboard.
  • Last year's Course Webpage

Courses

• Spring 2011
  • CIS 682: Friendly Logics
• Fall 2009
  • CIS 540: Principles of Embedded Systems
• Spring 2009
  • CIS 500: Software Foundations
  • CIS 505: Software Systems (Newsgroup)
  • CIS 480/899: Embedded and Cyber Physical Systems
• Fall 2008
  • CIS 502: Analysis of Algorithms
  • CIS 520: Machine Learning (Schedule) (Term Project)
  • CIS 996: Research Seminar
  • EAS 510: Technical Communication and Academic Writing

Miscs

• I maintain a blog which basically only contains notes to configuring various infrequently used software / tools.
• Advices on making a Ph.D
  • Jim Woodcock (U York) Doing a Ph.D (pdf)
  • Mihir Bellare (UCSD) The Ph.D Experience
  • Randy Pausch (CMU) Time Management (video)
  • Even More Advice....
• Check out the mobile version of my homepage