people
last updated November 27, 1998
| |
people
last updated November 27, 1998
|
| formalWARE
project
formalWARE
formalWARE
|
University Based Project MembersThe formalWARE project included the involvement of four faculty members (Paul Gilmore, Daniel Hoffman, Bruce Kapron and Lee White), three Ph.D. students (Kendra Cooper, Nancy Day, Michael Donat), three M.Sc. students (Xuhui Chen, Georgi Kostadinov and Jayakrishnan Nair) at UBC and the University of Victoria and two affiliate researchers (Jamie Andrews and Gunter Mussbacher) and two corporate affiates (David Baar and Timothy Duty). Christine Jensen was an employee of UBC who served as the Assistant Director of this project. Jeff Joyce is an Adjunct Professor at UBC, but whose main affiliation is Raytheon.
|
