Professors

Horton, Joseph D., BSc (Manit), MA (York), PhD (Wat), Prof - 1981
  (home page)

Spencer, Bruce, Bsc (Dal), MMath, PhD (Wat), Assoc Prof - 1990
  (home page)

Active Students

Buffett, Scott (home page)
 - Model based diagnosis (Ph.D)
 - MCS Thesis: Investigating Iterative Deepening in top down automated theorem proving. (Postscript .gzipped)

Burrows, Joel
 - Bottom-up theorem proving with binary resolution trees (MCS)

Fyffe, Graham
 - Marmoset Automated Theorem Prover

Hunt, Brian M.
 - Web page development and maintenance
 - Marmoset Automated Theorem Prover

Obimbo, Charlie
 - Disjunctive deductive databases. (Ph.D)

Past Students

Shi, Suping (1993)
Francis, Kelsey (1994)
Hynes, Rod (1995)
Yu, Qinxin (1995)
Lor, Yunn Ying (1996)
Sharpe, David (1996)
Sun, Baoyun (1996)
Webber, Natalie (1996) (home page)
Boothroyd, Michael (1998)
Kwok, Amen (1998)