1 / 13

Presenter: Derrick Kourie

Espresso / Fastar Research Group (UP). 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

alagan
Télécharger la présentation

Presenter: Derrick Kourie

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Espresso / Fastar Research Group (UP) Presenter: Derrick Kourie School of Information Technology University of Pretoria

  2. UP Staff Members Bruce Watson Derrick Kourie Vreda Pieterse Linda Marshall Tinus Strauss School of Information Technology University of Pretoria

  3. 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 School of Information Technology University of Pretoria

  4. 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 School of Information Technology University of Pretoria

  5. 2005 Funding • NRF • R60 000 bursary funding • R40 000 running expenses • THRIP / Microsoft • R110 000 • UP Research • R56 000 School of Information Technology University of Pretoria

  6. 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) School of Information Technology University of Pretoria

  7. School of Information Technology University of Pretoria

  8. 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. School of Information Technology University of Pretoria

  9. EspressoSoftware 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 School of Information Technology University of Pretoria

  10. TABASCO • Choose a fundamental focus area (e.g. compression / lattice construction) • 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. School of Information Technology University of Pretoria

  11. TABASCO (cont.) • 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. • Build a domain-specific language on top of the toolkit: • Makes the toolkit more accessible. School of Information Technology University of Pretoria

  12. TABASCO (cont.) A software engineering methodology in its own right The only one incorporating correctness-by-construction (Others include verification after the fact). School of Information Technology University of Pretoria

  13. Future VERY BRIGHT !!! School of Information Technology University of Pretoria

More Related