Dr. Wang's Teaching History Since 2001

I believe that both curriculum and instructing methods in a computer science department should keep on reflecting the rapid progress in computer science and software/hardware technology. As a computer science instructor, I want to help students gain an understanding of computing and find enthusiasm for the field. Computer science is a fast-going, fascinating world. Computer science teachers have to be life-long learners. They should be constantly learning new theories and technologies, trying different ways and techniques in their curriculums.

``To learn and to practice what you have learnt. ---- Isn't a great pleasure?"
---- Confucius (551 BC -- 479 BC)

``The whole art of teaching is only the art of awakening the natural curiosity of young minds for the purpose of satisfying it afterwards."
---- A. France

``There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies."
---- C.A.R. Hoare (cited in Bowen, "Ten commandments of formal methods")

``We expect programmers to reason directly in terms of specifications; we call this approach "proof-theoretic". Most other approaches are "model-theoretic"; programmers are expected to reason in terms of mathematical structures like algebras or categories. We believe a proof-theoretic approach is better because it is much more accessible to programmers."
---- Barbara Liskov and Jeannette Wing, "A new definition of the subtype relation". ECOOP '93.

Peter Landin remarked long ago that the goal of his research was "to tell beautiful stories about computation."
---- John Reynolds, Theories of Programming Languages

Courses Taught by Dr. Wang Since 2001

• 2005 Fall Semester
  • HNRS 3301-01H Intelligent Robotics
  • IT 6903/4903: Ethical Hacking: Network Security and Penetration Testing

• 2005 Summer Semester
  • CS 6903 Information Security
  • IT 6823 Information Security Concepts
  • IT 4823 Information Security Concepts and Administration

• 2005 Spring Semester
  • SWE 6903-001 / SWE 4903-001 / CS 6903 / CS 4903 Special Topics: Advanced Computer Game Design and Development
  • SWE 6903-002 / SWE 4903-002 Special Topics: Trustworthy Computing
  • SWE 6843-001 / SWE 3843-001 Embedded Systems Construction and Testing

• 2004 Fall Semester
  • SWE 6823 / SWE 3683 Embedded Systems Analysis and Design
  • SWE 6753 / SWE 4353 Computer Game Design and Development
  • IT 6823 Information Security Concepts

• 2004 Summer Semester
  • SWE 6753 Computer Game Design and Development
  • CS 6293 Information Security

• 2004 Spring Semester
  • SWE 6813-01Y / SWE4633: Component Based Software Development
  • SWE 6843-01Y Embedded Systems Construction and Testing
  • IT 6823 / IT 4823 Information Security Concepts / Administration

• 2003 Fall Semester
  • CS 6293-01Y: Information Security
  • SWE 6823-01Y: Embedded Systems Analysis and Design
  • CS 3123-02: Programming Language Concepts

• 2003 Summer Semester
  • IT 6903-01: Information Security Concepts
  • IT 4903-01: Information Security Concepts and Administration
  • SWE 6813-01: Component Based Software Development

• 2003 Spring Semester
  • SWE 6883-01: Formal Methods in Software Engineering
  • SWE 6843-01Y: Embedded Systems Construction and Testing

• 2002 Fall Semester
  • SWE 6903-01Y: Component Based Software Development
  • SWE 6823-01Y: Embedded Systems Analysis and Design

• 2002 Spring Semester
  • CS 4624-01: Software Engineering
  • SWE 2312-02: Introduction to Software Engineering
  • SWE 6883-01: Formal Methods in Software Engineering

• 2001 Fall Semester
  • CS 4624-02: Software Engineering
  • CS 6283-01: Real-Time Systems