Research at Constructor Institute

• Relevance: we work on topics of direct interest to industry.
• Timeliness: our research is at the leading edge of international research.
• Excellence: we apply the highest standards and publish in top-level journals and conferences.
• Integration with education: we always seek to integrate the best research results into our educational programs and provide students with opportunities to participate in research projects.

The initial focus of Constructor Institute research has been on topics in software engineering. Most processes in today’s world rely on software systems and tools, some of extraordinary complexity. Making these systems correctly is a major challenge. Constructor Institute research covers techniques of advanced software testing, mechanized mathematical proofs of software correctness, software engineering of quantum and Artificial Intelligence systems, software techniques for embedded systems and Smart Cities, self-healing, and self-adaptive systems and many more described in the pages of the research chairs. In the coming years, new topics will be added, particular in the area of quantum software engineering.

• Memorandum of Understanding signed on April 21, 2021.
• Cooperation Agreement signed on November 30, 2022.

The Memorandum of Understanding was established to facilitate cooperation in quantum technologies, computer science, and business. One of the key objectives was the creation of a Chair in Quantum Communication. The Cooperation Agreement was signed to initiate its implementation. The chair was established in the summer of 2022, the hiring process concluded, and the chair has been occupied since January 1, 2023. 

• Collaboration established in 2016.

A longstanding collaboration exists between the Chair of Software Engineering at Constructor and members of IRIT, the Computer Science Research Institute of the University of Toulouse. Initiated in 2016, the collaboration focuses on Requirements Engineering, Formal Methods of Software Specification and Verification, and educational matters. Both universities have jointly published research, organized seminars, supervised students, and are currently collaborating on a book. A PhD student from Constructor is conducting research on AI-based tools for programming education at the University of Toulouse. Moreover, potential collaborations with other disciplines, including physics, are actively being pursued.

• Memorandum of Understanding signed on June 28, 2019.

The Memorandum of Understanding with the School of Computing at NUS aimed to foster collaboration in computer science, student exchanges, and scientific research. As a result of the partnership, several Constructor Institute students enrolled in the NUS Master of Computing program. Additionally, Professor Bertrand Meyer from Constructor Institute delivered three seminars at NUS in 2019, 2020, and 2023. Scientific collaboration took the form of discussions of technical discussions and co-supervision of master's theses between professors of the Constructor Institute and the National University of Singapore.

• Collaboration established in 2023.

A collaboration with Constructor University in Bremen, Germany, was established in 2023.

This collaboration encompasses various research domains, including computers, cyber security, artificial intelligence, software engineering, autonomous machines, physics, quantum technology, advanced functional intelligent materials, life engineering, and diverse business sectors.