Afrikaans

Academic staff

Name Contact Research interests
matt Matt Dwyer Professor Extraordinary Office: A513 dwyer@CUT-ME-OUT@cse.unl.edu www Software model checking, program analysis, testing
bfischer0 Bernd Fischer Associate Professor Office: A518 bfischer@CUT-ME-OUT@cs.sun.ac.za www Software engineering, formal methods, program analysis, program generation, program verification, artificial intelligence
jaco Jaco Geldenhuys Senior Lecturer Office: A519 jaco@CUT-ME-OUT@cs.sun.ac.za www Formal methods, model checking, software engineering, automata & language theory, data structures and algorithms
mcelory McElory Hoffmann Senior Lecturer Office: A513 mcelory@CUT-ME-OUT@cs.sun.ac.za www Telephone: +27 21 808 4232 Computer vision, machine learning, smart cameras
cinggs Cornelia Inggs Senior Lecturer Office: A509 cinggs@CUT-ME-OUT@cs.sun.ac.za www Telephone: +27 21 808 4232 Formal methods, model checking, concurrency
skroon Steve Kroon Senior Lecturer Office: A515 kroon@CUT-ME-OUT@sun.ac.za www Telephone: +27 21 808 4232 Artificial intelligence/machine learning, statistical learning theory, probability and computing
aek1 Anthony E Krzesinski Professor Office: A522 aek1@CUT-ME-OUT@cs.sun.ac.za www Telephone: +27 21 808 4232 Performance evaluation of wireline and wireless IP networks
kscheffler Konrad Scheffler Associate Professor Extraordinary Office: kscheffler@CUT-ME-OUT@cs.sun.ac.za www Bioinformatics, probabilistic models of evolution, algorithmic and computational aspects of phylogenetics, machine learning, Bayesian probability theory
abvdm Brink Van Der Merwe Associate Professor Office: A511 abvdm@CUT-ME-OUT@cs.sun.ac.za www Telephone: +27 21 808 4232 Tree automata and applications, Learning of grammars and languages from data
lynette Lynette Van Zijl Associate Professor Office: A520 lynette@CUT-ME-OUT@cs.sun.ac.za www Telephone: +27 21 808 4232 Implementation and applications of automata; assistive technologies
wvisser Willem Visser Professor Office: A517 visserw@CUT-ME-OUT@sun.ac.za www Telephone: +27 21 808 4232 Software engineering, testing, symbolic execution, and model checking
Problems? Contact our webmaster (webmaster@CUT-ME-OUT@cs.sun.ac.za).
Copyright © 2007–2013 Computer Science, Stellenbosch University