School of Information Technology University of Pretoria Presenter: Derrick Kourie.

School of Information TechnologyUniversity of Pretoria

Presenter: Derrick Kourie


UP Staff Members

Bruce Watson

Derrick Kourie

Vreda Pieterse

Linda Marshall

Tinus Strauss


UP Postgraduate Registrations

• MSc: 16– Full time: 1– Part time

• UP: 1• UNISA: 2• Industry: 12

• PhD / PhD(IT): 9– Full time: 1 – Part time

• UP: 3• UNISA: 1• Industry: 5


Research Outcomes• Refereed Conferences (2005):

– Local: 6– Europe: 6

• Journals (2005): – Accepted: 3– Pending: 2+

• UP Graduates (1999 – March 2005)– PhD: 3– MSc: 10– M.IT: 4

• Non-UP Graduates (1999 - March 2005)– Pr.D.Eng: 3– MSc: 12

• Average: +-4.9 per year


2005 Funding

• NRF – R60 000 bursary funding– R40 000 running expenses

• THRIP / Microsoft– R110 000

• UP Research– R56 000


Collaboration

• Institutes– TU/e– Helsinki, Prague, Warsaw, etc….– UCT / WITS / US / UNISA

• 2005 Visitors – Beck (USA)– Kelleher (UCT)– Obiedkov (Russia Post-doc)– Cleophas / van Kempen (Holland)– Seghers / Kennes (TU/e MSc Students)


Finite Automata Systems---Theoretical and Applied Research

• Aims to be leading international research group in all areas related to finite state systems.

• Core: – finite automata, regular expressions, pattern matchers, parsers,

transducers, algorithms operating on these objects, and data-structures.

• Applied: – text indexing, computational linguistics, bioinformatics /

computational genetics, network security and intrusion detection, programming languages and compilers, communicating concurrent systems, modeling and control of interacting nanomachines, etc.


EspressoEspressoSoftware Engineering ResearchSoftware Engineering Research

• CTPEEESP: Combine Theory and Practice to Enhance the Efficiency and Effectiveness of Software Production.

• We aim to improve the state of the software industry by promoting best practices in, and providing enabling tools for, software design and production processes.

• Some thrusts of our software engineering research are:– Maturity of the Process– Agility of the Process– Open Collaborative Software Development– SE Education– Web-based Development– Literate Programming– Refactoring (Code / Architecture)– Etc.– TABASCO


TABASCO

1. Choose a fundamental focus area (e.g. compression / lattice construction)

2. Construct a taxonomy of known solutions– Encode a full Dijkstra-style correctness

argument for each algorithm.– Significantly sheds light on the field; usually

yields new algorithms.– Give a nice family tree; great pedagogic value.– Laborious process.


TABASCO (cont.)

3. Map the taxonomy to a toolkit (library):– Yields near-optimal code-sharing and a logical

architecture.– Implementation is usually correct within very

limited debugging, thanks to correctness-by-construction.

4. Build a domain-specific language on top of the toolkit:– Makes the toolkit more accessible.


TABASCO (cont.)

A software engineering methodology in its own right

The only one incorporating correctness-by-construction

(Others include verification after the fact).


Future

VERY BRIGHT !!!

School of Information Technology University of Pretoria Presenter: Derrick Kourie.

Documents

Transcript of School of Information Technology University of Pretoria Presenter: Derrick Kourie.