About Us
LaQuSo is a joint initiative of Eindhoven University of Technology and Radboud University Nijmegen. In particular, it is an initiative that combines the knowledge and experience of the Department of Mathematics and Computer Science of Eindhoven University of Technology and the Institute for Computing and Information Sciences of the Faculty of Science of Radboud University Nijmegen.
It focuses on the industrialization, validation, and application of results of fundamental/strategic technological research, which is relevant for industrial or other applications. In particular it focuses on generic aspects of the analysis of software systems. Software systems are ideally designed and implemented in such a way that they provide the desired functionality in a reliable manner. Today's systems, however, often have problems related to their quality, reliability, performance, and usability. Therefore, analysis techniques are needed to improve the quality of tomorrow's software systems. Data and process mining techniques can be used to analyze systems in their natural habitat. Moreover, visualization of models, code, and system behavior can be used to identify problems and solutions. Given the importance of software systems in today's society, it is of the utmost importance to better support their analysis.
LaQuSo provides access to selected state-of-the-art methods and techniques for the analysis of software systems. It provides support services for industry (MNC as well as SME) and government (national as well as local).
From the Department of Mathematics and Computer Science of Eindhoven University of Technology the following expertise groups participate in LaQuSo:
- Section Information Systems
- Expertise Group Databases and Hypermedia (DH)
- Expertise Group Architecture of Information Systems (AIS)
- Section Specification and Verification
- Expertise Group Formal Methods (FM)
- Expertise Group Design and Analysis of Systems (OAS)
- Section Software and Systems Engineering
- Expertise Group Software Engineering and Technology (SET)
- Expertise Group System Architecture and Networking (SAN)
- Expertise Group Security (SEC)
- Section Algorithms and Visualization
- Expertise Group Algorithms (ALG)
- Expertise Group Visualization (VIS)
From the Institute for Computing and Information Science of the Faculty of Science of Radboud University Nijmegen, the following research sections participate in LaQuSo:
- Section Model Based System Development (MBSD)
- Section Digital Security (DS)
- Section Intelligent Systems (IS)
LaQuSo is also one of the research laboratories of the Netherlands Institute for Research on ICT (NIRICT), one of the centers of competence of the 3TU Federation in which Eindhoven University of Technology, Delft University of Technology, and University of Twente cooperate strategically. In particular, LaQuSo supports research of the Center for Dependable ICT (CeDICT), one of the centers of excellence of the 3TU Federation.
NIRICT is one of the founding core partners of the EIT KIC ICT (European Institute for Innovation and Technology, Knowledge and Innovation Center on ICT).
