Wei (David) Zhang
|
|
Research
Interests
| |
Requirements Engineering
Formal Specification and Verification
Software Architecture Design |
|
| |
Advisors
|
| |
|
Education
| Aug. 2006 ~
Apr. 2008 |
Ph.D. student, Lab for Software Safety, Department of Computer Science, Iowa State
University, Ames, IA |
| Sep. 2003 ~ June.2006 |
Master of
Engineering, School of Computer Science and Technology , Huazhong
University of Science and Technology(HUST), Wuhan city, China |
| Sep. 1999 ~ July.2003 |
Bachelor of
Science, Computer Science and Technology Department, Hubei University,
Wuhan city, China |
|
| |
Major courses taken
@ ISU
| CS 511 |
Design
and Analysis of Algorithm |
| CS 515 |
Software
System Safety |
| CS 531 |
Theory of Computation |
| CS 512 |
Formal Methods in Software Engineering |
| CS 558 |
3D Visualization of Scientific Data |
| CS 562 |
Implementation of Database Systems |
| CS 509 |
Requirements Engineering |
| CS 586 |
Network Architecture |
| CprE 556 |
Scalable Software Engineering |
|
|
| |
| Experiences @ USA |
| Jul. 2006 ~ May. 2007
Research Assistant with Dr. Robyn Lutz on NSF Grant, Safety Analysis of Evolving Product Lines.
|
| Aug. 2007 ~ Dec. 2007
Teaching Assistant of undergraduate course: ComS 352 Introduction to Operating Systems.
|
| Jan. 2008 ~ May. 2008
Teaching Assistant of undergraduate course: ComS 352 Introduction to Operating Systems.
|
| Jan. 2008 ~ May. 2008
Teaching Assistant of graduate course: ComS 552 Principle to Operating Systems.
|
| Publications |
| |
Hobbies
| Playing badminton, Ping
Pong, Swimming, etc |
|
| |
 |