University
of the
Witwatersrand,
Johannesburg
School of Computer Science
Research Programmes
PHDS: Programme for Highly Dependable Systems
(including the
Wits Firewall Project
)
Computational Molecular Biology
. See also
Wits Bioinformatics
Other Research Areas
Computer Architecture
Computational Geometry
Computer Science Education
Highly dependable systems
Formal methods
Verification
Concurrency
Process algebras
Robotics
Symbolic trajectory evaluation
This page last modified by Ian Sanders on 20 June 2002.
To the Computer Science home page