Current Departmental Research

Research Groups

The department hosts a variety of postgraduate students in a collection of research groups. An overview of the various research groups and their respective focus areas is provided below, along with a link to each group's individually maintained website. Feel free to contact any of the researchers for more information on their current projects and/or possible collaboration opportunities.

Computational Intelligence (CIRG)

Group homepage:	cirg.cs.up.ac.za
Group overview:	Download Powerpoint Presentation (317Kb)

Primary Researchers:	Research Fields:
Prof Andries Engelbrecht Dr Patricia Lutu Ms Katherine Malan Mr Will van Heerden Mr Ronald Klazar Mr Maruis Riekert	Artificial Neural Networks Swarm Intelligence Evolutionary Computation Artificial Immune Systems Data and Text Mining Multi Agent Systems Data and text mining Image analysis Game playing systems

Computer and Information Security with specific reference to Distributed Systems Security and Privacy (ICSA)

Group homepage:	icsa.cs.up.ac.za
Group overview:	Download Powerpoint Presentation (3.7Mb)

Primary Researchers:	Research Fields:
Prof Martin Olivier Prof Hein Venter Tayana Morkel	Digital forensics Distributed trust and security issues in pervasive computing Privacy Vulnerability scanning Intrusion detection Database and workflow security

FASTAR: Finite Automata Systems Theoretical and Applied Research

Group homepage:

fastar.cs.up.ac.za

Primary Researchers:	Research Fields:
Prof Derrick Kourie Prof B Watson Tinus Strauss Vreda Pieterse	Finite state systems Finite automata Regular expressions Pattern matchers Parsers Transducers Algorithms and data structures Formal Concept Lattices

Research Group Homepages

CIRG: Computational Intelligence Research Group
ICSA: Computer and Information Security with specific reference to Distributed Systems Security and Privacy
FASTAR: Theoretical and Applied Computer Science Research
Espresso: Software Engineering Principles and Practices
SSFM: Software Science and Formal Methods

Espresso: Software Engineering Principles and Practices

Group homepage:	espresso.cs.up.ac.za
Group overview:	Download ESPRESSO.pps (879KB)

Primary Researchers:	Research Fields:
Prof Derrick Kourie Prof Bruce Watson Ms Linda Marshall	Methods and processes, such as agile methods, open source development, etc. Tools and environments, such as software configuration management (SCM), refactoring, human aspects, etc.

Software Science and Formal Methods

Group homepage:

ssfm.cs.up.ac.za

Primary Researchers:	Research Fields:
Dr Stefan Gruner Mr Jan Kroeze Dr Fritz Solms	Formal Specifications of Systems Model Driven Engineering Theoretical and Methodological Foundations of Software Engineering Tools for Computer-Aided/Automated Software Engineering

Current and previous projects

CILib

CILib is a framework for developing Computational Intelligence software in swarm intelligence, evolutionary computing, neural networks, artificial immune systems and fuzzy logic. For more information, visit http://cilib.sourceforge.net