school of information technology university of pretoria presenter: derrick kourie
TRANSCRIPT
![Page 1: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/1.jpg)
School of Information TechnologyUniversity of Pretoria
Presenter: Derrick Kourie
![Page 2: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/2.jpg)
School of Information TechnologyUniversity of Pretoria
UP Staff Members
Bruce Watson
Derrick Kourie
Vreda Pieterse
Linda Marshall
Tinus Strauss
![Page 3: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/3.jpg)
School of Information TechnologyUniversity of Pretoria
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
![Page 4: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/4.jpg)
School of Information TechnologyUniversity of Pretoria
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
![Page 5: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/5.jpg)
School of Information TechnologyUniversity of Pretoria
2005 Funding
• NRF – R60 000 bursary funding– R40 000 running expenses
• THRIP / Microsoft– R110 000
• UP Research– R56 000
![Page 6: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/6.jpg)
School of Information TechnologyUniversity of Pretoria
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)
![Page 7: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/7.jpg)
School of Information TechnologyUniversity of Pretoria
![Page 8: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/8.jpg)
School of Information TechnologyUniversity of Pretoria
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.
![Page 9: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/9.jpg)
School of Information TechnologyUniversity of Pretoria
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
![Page 10: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/10.jpg)
School of Information TechnologyUniversity of Pretoria
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.
![Page 11: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/11.jpg)
School of Information TechnologyUniversity of Pretoria
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.
![Page 12: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/12.jpg)
School of Information TechnologyUniversity of Pretoria
TABASCO (cont.)
A software engineering methodology in its own right
The only one incorporating correctness-by-construction
(Others include verification after the fact).
![Page 13: School of Information Technology University of Pretoria Presenter: Derrick Kourie](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649e235503460f94b1009d/html5/thumbnails/13.jpg)
School of Information TechnologyUniversity of Pretoria
Future
VERY BRIGHT !!!