Quantum Software Engineering

Quantum Software Engineering at SIT

Prof. Dr. Manuel Oriol
Prof. Dr. Manuel Oriol

Head of the Chair of Quantum Software Engineering at the Schaffhausen Institute of Technology

Ph.D. at University of Geneva on Dynamic Software Updates, Engineer Diploma in computer science and MSc in Artificial Intelligence from ENSEEIHT School in Toulouse.

Research Interests
Software engineering, object-oriented languages, software testing, component infrastructure, software architecture, middleware, real-time ystems, and dynamic software updating social interactions through software.

Prof. Oriol spent 10 years in research working on components infrastructures, software engineering and software testing. After his PhD at University of Geneva, he was a Postdoctoral researcher at University of Maryland College Park and ETH Zurich. He then moved into a tenured position as a senior lecturer at the University of York int he UK. Following this academic experience, he then worked for 10 years for ABB and industry giant. He was first appointed as a principal scientist (I&II) and then an R&D Manager responsible for Analytics for IoT Systems and special projects (such as the ABB Ability(TM) Smart Sensor for pumps and the SmartSensor generation 2 – https://new.abb.com/service/motion/data-and-advisory-services/condition-monitoring-for-rotating-equipment). He moved back to academy and joined SIT in September 2022 as an Associate professor of Software Engineering, bridging academic research and practical product development experience.

Should you need him, Prof. Oriol is happy to perform software engineering audits in his area of expertise

The chair of Quantum Software Engineering research agenda

IoT and embedded systems are heavily advertised at the fourth industrial revolution, promising large gains in productivity and power consumption. The already fast pace of embedding artificial intelligence, data analytics, and other new technologies in those systems is accelerating, requiring a serious effort on software engineering research for such systems. Despite this, the level of acceptance and support of software engineering techniques in this field remains very low in practice. The same conclusions are true for areas where AI, and soon quantum will be embedded. If nothing changes, we are a few years from an IoT systems and AI systems, while the slow creation of software engineering for quantum systems will hinder its development.

Our chair focuses on starting the activities of a new research unit on Quantum Software Engineering located both at JUB and SIT. The new Unit of Quantum Software Engineering focuses on building a complete body of research on software engineering of embedded systems, AI-based systems, and quantum-based systems. The Research Unit key focus areas are:

  • Software engineering of embedded systems
  • Software engineering of real-time systems
  • Software engineering of specific technologies such as AI-based software, cybersecurity for IoT systems, analytics-aware systems, and quantum computing.
  • Various combinations of such topics, including:
    • Software engineering of artificial intelligence-based applications embedded in real-time systems
    • Software engineering and cybersecurity of quantum computing (potentially for real-time systems)
Improving Counterexample Quality from Failed Program Verification

Li Huang, Bertrand Meyer, Manuel Oriol.

CoRRabs/2208.10492 (2022). 

Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead

Aurelien Monot, Manuel Oriol, Camille Schneider, Michael Wahler. 

 In 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), 2016.  

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

M. Piccioni, M. Oriol, B. Meyer. 

In IEEE Transaction on Software Engineering (TSE) 39(2): 184-196 (2013), 2013.  

Random Testing. Evaluation of a Law Describing the Number of Faults Found.

M. Oriol

In International Conference on Software Testing (ICST 2012), 2012. 

Practical Dynamic Software Updating for C.

I. Neamtiu, M. Hicks, G. Stoyle, M. Oriol

In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI 2006), 2006. 


General Information

We are open to host Research Theses, Industry Theses and Startup Theses. Contact us if you want to propose topics for the next spring semester.


2022 Theses

Highly Accurate Genome Classification using Deep Neural Network and Chaos Game Representation.

Research Thesis. 

Sara Omar Soliman Al Safoury. 

Automated Random Testing for Adaptive Systems.

Research Thesis. 

Ilir Nuredini.

Automated Generation of Test Oracle for Adaptive Systems.

Research Thesis. 

Fatmir Nuredini.

Equivalence analysis of quantum programming simulation using concurrent threads.

Research thesis. 

Ekaterina Petrovskaya. 

User flow optimisation at Chatroulette.

Industry Thesis. 

Ivan Glushenkov. 

Development of CI/CD system for autonomous driving scenarios.

Industry Thesis. 

Zekarias Taye Hirpo.

Automatic Quiz Generation System.

Industry Thesis. 

Agbeyeye K. Ledi.

Digitalization and Automization of Manual Processes in Market.

Industry Thesis. 

Amr Mohamed Shawky Mohamed.

Chatroulette Gamification of Website and Introduction of Reputation System.

Industry Thesis. 

Temiloluwa Philip Ojo.

Automated essay scoring system.

Industry Thesis. 

Ahmed Zaid.

Product Design and Startup Development of Mobile Micro-learning Platform “StudyGram”.

Startup Thesis. 

Yuriy Dyuster.

Marketing research, business model and prototype development for new application for networking and networks’ maintenance.

Startup Thesis. 

Anastasiia Fokina.


Startup Thesis. 

Iuliia Kotovich.

StudyGram: EdTech startup implementation.

Startup Thesis. 

Michael Martinson.


Startup Thesis. 

Yuva Phalle. 

Here you can find the most recent mentions and news about the Chair.

Interested in research with Prof. Dr. Manuel Oriol?

Apply now for your PhD or postdoc research.