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

To the Computer Science home page