English

Akademiese personeel

Naam Kontak Navorsingsbelangstellings
matt Matt Dwyer Buitengewone Professor Kantoor: A513 dwyer@CUT-ME-OUT@cse.unl.edu www Software model checking, program analysis, testing
bfischer0 Bernd Fischer Medeprofessor Kantoor: 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 Lektor Kantoor: A519 jaco@CUT-ME-OUT@cs.sun.ac.za www Formele metodes, modeltoetsing, sagtewareingenieurswese, outomaat- en taalteorie, data strukture en algoritmes
mcelory McElory Hoffmann Senior Lektor Kantoor: A513 mcelory@CUT-ME-OUT@cs.sun.ac.za www Telefoon: +27 21 808 4232 Rekenaarvisie, masjienleer, slim kameras
cinggs Cornelia Inggs Senior Lektor Kantoor: A509 cinggs@CUT-ME-OUT@cs.sun.ac.za www Telefoon: +27 21 808 4232 Formele metods, modeltoetsing, gelyklopendheid
skroon Steve Kroon Senior Lektor Kantoor: A515 kroon@CUT-ME-OUT@sun.ac.za www Telefoon: +27 21 808 4232 Kunsmatige intelligensie/masjienleer, statistiese leerteorie, waarskynlikheid en berekening
aek1 Anthony E Krzesinski Professor Kantoor: A522 aek1@CUT-ME-OUT@cs.sun.ac.za www Telefoon: +27 21 808 4232 Prestasie-evalusie van bekoorde en koordlose IP netwerke
kscheffler Konrad Scheffler Buitengewone Medeprofessor Kantoor: 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 Medeprofessor Kantoor: A511 abvdm@CUT-ME-OUT@cs.sun.ac.za www Telefoon: +27 21 808 4232 Boomoutomate en toepassings, Aanleer van grammatika en tale vanaf data
lynette Lynette Van Zijl Medeprofessor Kantoor: A520 lynette@CUT-ME-OUT@cs.sun.ac.za www Telefoon: +27 21 808 4232 Implementasie en toepassings van outomate; bestandtegnologië
wvisser Willem Visser Professor Kantoor: A517 visserw@CUT-ME-OUT@sun.ac.za www Telefoon: +27 21 808 4232 Sagteware-ingenieurswese, programtoetsing, simboliese programuitvoer en modeltoetsing
Probleme? Kontak ons webdrywer (webmaster@CUT-ME-OUT@cs.sun.ac.za).
Kopiereg © 2007–2013 Rekenaarwetenskap, Universiteit Stellenbosch