Modelling in computer science
Computationally intensive structural models and their associated implementation techniques are indispensable to the design of complex IT systems during specification, analysis, design and implementation. This research spearhead investigates the models used in computer science and other research fields which use computer-based techniques. It includes, for example, modelling techniques for networks and large-scale distributed systems, and analytical and simulation models for carrying out performance evaluations of these systems.
We also examine database models, the expressive power of database and XML languages, efficient and scalable data mining techniques, web technology and bioinformatics. Other research fields include software evolution models and multi-paradigm models, and their formal construction. In addition, the spearhead also addresses the computational methods and technologies which make it possible to perform calculations using all of the models we investigate.