Ken
Wong
last updated November 26, 1998
| |
Ken
Wong
last updated November 26, 1998
|
| formalWARE
project
formalWARE
formalWARE
|
Ken Wong is currently a Ph.D. student
in the UBC Department of Computer Science supervised by Dr. Jeff Joyce.
He is also one of the founders of
Intrepid Critical Software Inc.,
a local software consulting company that specializes in the development
of critical software systems.
During his involvement with the formalWARE project,
he completed his M.Sc. in the UBC Department of Computer Science.
He holds a B.Sc. in Math and Physics as well as M.Sc. in Physics from the
University of Saskatchewan.
His research concerns the safety verification of software-intensive systems. Although methodologies for increasing confidence in the safety of a system are well established for many other engineering disciplines, appropriate methodologies for software-intensive systems are still evolving. Methodologies for the safety analysis of a system generally involve the identification of potential hazards, analysis of the possible causes of these hazards and assessment of the risk associated with each hazard. To reduce risks, the safety analysis generally results in mitigations which may be applied at various stages of development, e.g., changes to the functional requirements, design modifications, additional testing, safety-related notes in the documentation provided to the end-user. Wong's research focuses on one particular phase of a safety methodology for software intensive systems - the analysis of the source code in support of system safety verification. A further description of his work in this area can be found on the formalWARE Software Safety Verification web page. For more information on Wong's background and other research interests, see his home page at http://www.cs.ubc.ca/spider/kwong/home.html. He can be reached by email at kwong@cs.ubc.ca
. |
