HONG ZHANG
Biography
- 1991-1999, Control Engineer, Sinopeco.
Experienced in the engineering parts of building manufacturing line and the non-engineering parts of software development of control systems for the manufacturing line. Including leading a team of 13 engineers and technicians to complete a US$2,000,000 project.
- 2000-now, Graduate Student, Computing and software
Research the model-checking tools and theorem provers used in the real time software development.
Research Interests
- Software Engineering
- Industrial Application
- Formal Methods
- Mathematical software design
Position Statement
Software Engineering is in the pre-engineering stage. Mathematics and mathematical knowledge management are crucial for the development of software engineering. One goal of software engineering is to equip the software developers with reliable and easy to use tools.
Links
PVS
Dr. Mark Lawford's papers
ICS
Naval Research Laboratory
mathscheme
Address
Hong Zhang
Computing and Software, ITC-205
1280 Main Street West
Hamilton, ON, L8S 4K1
McMaster University
Phone: (905) 525-9140, Ext. 27406
email: zhangh5@ieee.org