Quantum Software Engineering

Prof. Dr. Manuel Oriol
Head of the Chair of Quantum Software Engineering at Constructor Institute

Research activity

The chair of Quantum Software Engineering research agenda focuses on three areas: software engineering for embedded systems, software engineering for and with artificial intelligence and analytics, and software engineering for and with quantum computing.

The Chair of Quantum Software Engineering focuses on building a complete body of software engineering research applied to these fields because they typically lack the tools and methodology to create systems for the next ten years of development. Current research focuses on:

  • 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 AI-based applications embedded in real-time systems
    • Software engineering and cybersecurity of quantum computing (potentially for real-time systems)

     

    Selected publications:

    • 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. 

     

    Student past projects

    2022 theses

    1. Highly Accurate Genome Classification using Deep Neural Network and Chaos Game Representation.
      Research thesis.
      Sara Omar Soliman Al Safoury. 
    2. Automated Random Testing for Adaptive Systems.
      Research thesis. 
      Ilir Nuredini.
    3. Automated Generation of Test Oracle for Adaptive Systems.
      Research thesis.
      Fatmir Nuredini.
    4. Equivalence analysis of quantum programming simulation using concurrent threads.
      Research thesis.
      Ekaterina Petrovskaya. 
    5. User flow optimisation at Chatroulette.
      Industry thesis. 
      Ivan Glushenkov. 
    6. Development of CI/CD system for autonomous driving scenarios.
      Industry thesis.
      Zekarias Taye Hirpo.
    7. Automatic Quiz Generation System.
      Industry thesis. 
      Agbeyeye K. Ledi.
    8. Digitalization and Automization of Manual Processes in Market.
      Industry thesis.
      Amr Mohamed Shawky Mohamed.
    9. Chatroulette Gamification of Website and Introduction of Reputation System.
      Industry thesis. 
      Temiloluwa Philip Ojo.
    10. Automated essay scoring system.
      Industry thesis.
      Ahmed Zaid.
    11. Product Design and Startup Development of Mobile Micro-learning Platform “StudyGram”.
      Startup thesis.
      Yuriy Dyuster.
    12. Marketing research, business model and prototype development for new application for networking and networks’ maintenance.
      Startup thesis.
      Anastasiia Fokina.
    13. SpotLot.
      Startup thesis.
      Iuliia Kotovich.
    14. StudyGram: EdTech startup implementation.
      Startup thesis.
      Michael Martinson.
    15. SpotLot.
      Startup thesis.
      Yuva Phalle.