HONG ZHANG

Biography

  1. 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.
  2. 2000-now, Graduate Student, Computing and software

  3. Research the model-checking tools and theorem provers used in the real time software development.

Research Interests

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