Constructor Institute of Technology

17/03/2026

After years of advancing education and research in Computer Science, Quantum Technologies, and Software Engineering, Constructor Institute of Technology Schaffhausen is concluding its on-campus operations.

We want to extend our deepest gratitude to our students, alumni, faculty, researchers, partners, and staff who shaped our academic community and helped build a culture of excellence, innovation, and global collaboration.

While our Schaffhausen campus is closing, our core commitment remains unchanged to educate, empower, and support the next generation by leveraging computing, software and robotics to make every scientist, teacher and student more efficient and effective.

As part of the Constructor Group education ecosystem, we invite future learners to continue their journey through:

Constructor University (Bremen, Germany) — a top-ranked, international, English-speaking research university. Explore our Computer Science programs:https://constructor.university/research/school-of-computer-science-and-engineering

Nexford University — a global online university offering BSc, MSc & MBA degrees https://www.nexford.edu/about

Constructor Nexademy — a hands-on coding and data science academy in Switzerland and Germany https://nexademy.org/

Thank you for being part of this incredible academic journey.

The knowledge created here lives on - through you.

Explore new learning opportunities with us here

→ https://constructor.org/knowledge

18/07/2025

It is with a heavy heart that we announce Constructor Institute of Technology (CIT) will cease operations in Schaffhausen in 2026.

Since our founding, Schaffhausen has been more than just a location; it has been home. Over the past five years, we have pursued an ambitious vision to build a world-class computer science campus here, attracting top international talent and fostering innovation. We are proud of what we achieved: over 80 research publications, four patents, and 90% of our graduates securing meaningful roles at leading global organizations such as Meta, Google, and UNICEF.

However, despite our unwavering commitment and significant investments, we faced challenges that proved insurmountable. The Swiss Accreditation Council’s feedback, while affirming the strength of our academic programs, highlighted administrative hurdles that prevented us from securing the institutional accreditation essential for the sustainability of our model. Additionally, the lack of local support for campus development and restrictive immigration policies limited our ability to grow and thrive.

After careful consideration, we have made the difficult decision to shift our focus to Constructor University in Bremen, a thriving institution supported by strong local partnerships, and to expand our innovative online platform Nexford University. This strategic move will allow us to continue advancing excellence in education and research on a broader scale.

We are deeply grateful to the Schaffhausen community, our partners, students, and staff for their invaluable support and collaboration. Leaving this wonderful city is bittersweet; Schaffhausen will always hold a special place in our hearts.

As we look ahead, we remain committed to fostering innovation, creativity, and knowledge, carrying forward the spirit that defined our time here.

Thank you for being part of our journey.

15/07/2025

The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry?

To help answer this question, the present survey examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools.

Read the full paper - https://bit.ly/4f8W8bn

10/07/2025

Despite their importance in quantum theory, joint quantum measurements remain poorly understood. An intriguing conceptual and practical question is whether joint quantum measurements on separated systems can be performed without bringing them together. Remarkably, by using shared entanglement, this can be achieved perfectly when disregarding the postmeasurement state. However, existing localization protocols typically require unbounded entanglement.

In this work, we address the fundamental question: “Which joint measurements can be localized with a finite amount of entanglement?” We develop finite-resource versions of teleportation-based schemes and analytically classify all two-qubit measurements that can be localized in the first levels of the resulting hierarchies.

These levels include several measurements with exceptional properties and symmetries, such as the Bell state measurement and the elegant joint measurement. This leads us to propose a systematic classification of joint measurements based on entanglement cost, which we argue directly connects with the complexity of implementing those measurements. We illustrate how to numerically explore higher levels and construct generalizations to higher dimensions and multipartite settings.

Read the full paper here - https://bit.ly/4kyVHbp

08/07/2025

Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing. The main techniques for extracting models of functional behavior generate either models of constraints on data, usually in the form of Boolean expressions, or models of interactions between components, usually in the form of finite state machines.

Both data and interaction models are useful for analyzing and verifying different aspects of software behavior, but none of them captures the complex interplay between data values and components interactions. Thus related analysis and testing techniques can miss important information. In this paper, we focus on the generation of models of relations between data values and component interactions, and we present GK-tail, a technique to automatically generate extended finite state machines (EFSMs) from interaction traces.

EFSMs model the interplay between data values and component interactions by annotating FSM edges with conditions on data values. We show that EFSMs include details that are not captured by either Boolean expressions or (classic) FSM alone, and allow for more accurate analysis and verification than separate models, even if considered jointly.

Read the full paper here - https://bit.ly/4eC6dgt

02/07/2025

🎓 Meet Joel Gamonez – a graduate of the Pre-Master’s Program at Constructor Institute of Technology!

In this video, Joel shares his personal journey through the program, valuable advice for future students, and insights into what it’s like to study at Constructor Institute.

Whether you're considering applying or just curious about life at our institute, don’t miss his story — it might just inspire your next step!

📽 Watch now and get a glimpse of the Pre-Master’s experience from someone who’s lived it.

01/07/2025

👩‍💻👨‍💻 Software Developers vs Software Engineers — Who Will Lead the Future?
Join Prof. Manuel Oriol, President of Constructor Institute of Technology, for a free live webinar exploring the evolving roles in software development and engineering.

💡 Learn how AI & quantum tech are reshaping careers in software
🎓 Discover our MSc programs in Computer Science, Software Engineering & Quantum Technologies

📅 July 2 | 🕒 16:00 CET | 💻 Online via Zoom

📍 Speaker: Prof. Manuel Oriol, President of Constructor Institute of Technology

➡️ Register now - https://bit.ly/43Zuc5P

27/06/2025

On June 18, over 50 leaders from business, politics, and academia came together at Constructor Institute of Technology in Schaffhausen for a high-level innovation event hosted by the Canton of Schaffhausen.

Under the theme “Let’s Innovate Together,” the event spotlighted CIT’s pivotal role in advancing regional transformation — powered by world-class research, global talent, and strong industry collaboration.

“Constructor Institute of Technology stands for the future of tech education and innovation in Europe,” said Dr. Philipp Rösler, Vice Chairman of the Board of Governors at both Constructor Institute of Technology and Constructor University.

25/06/2025

The Constructor Institute of Technology successfully hosted another session of the Schaffhausen Wednesdays in Technology (SWIT) series.

The event featured Catalin Toma, a master’s student, who delivered an insightful talk titled “Quantum Computing – Latest Trends.” Catalin shared an overview of the latest developments in the quantum computing market and highlighted real-world use cases for this rapidly evolving field.

Attendees joined both in person at the Schaffhausen office and online via Zoom, following an informal brown-bag lunch that fostered discussion and networking.

Thank you to everyone who joined — and stay tuned for the next SWIT session!

20/06/2025

19/06/2025

We were delighted to host Davide Molinelli, PhD student, for a compelling presentation on:

“TraTTO: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles”

Davide explored a key challenge in software testing—the oracle problem, which concerns the automatic generation of test oracles capable of identifying deviations from expected software behavior.

In his talk, he introduced TraTTO, a neuro-symbolic framework that automatically derives axiomatic test oracles in the form of boolean assertions. By leveraging both source code and documentation, TraTTO helps bridge the gap between test case generation and expected behavior verification.

This research highlights an important advancement in test automation, particularly in reducing manual effort while increasing testing effectiveness.

Thank you to everyone who attended and contributed to the discussion!