Search results

• Active

  QAssure

  Mousavi, M.

  TSB Technology Strategy Board

  1/05/2024 → 31/10/2025

  Project: Research

• VSL-Q: Verified Simulation for Large Quantum Systems (VSL-Q)

  Mousavi, M., Bhaseen, J. & Booth, G.

  EPSRC Engineering and Physical Sciences Research Council

  1/06/2023 → 31/03/2025

  Project: Research

  • Finite-State Machine 100%
  • Reinforcement Learning 100%
  • Operational Semantics 100%
  • Perspective 100%
  • Semantics 100%

• ModeMCQC: Model-based monitoring and calibration of quantum computations

  Mousavi, M., Bhaseen, J. & Booth, G.

  EPSRC Engineering and Physical Sciences Research Council

  1/04/2023 → 31/03/2026

  Project: Research

  • Finite-State Machine 100%
  • Reinforcement Learning 100%
  • Test Generation 60%
  • Algorithms 40%
  • Graph Framework 20%

• UKRI Trustworthy Autonomous Systems Node in Verifiability

  Mousavi, M.

  EPSRC Engineering and Physical Sciences Research Council

  16/08/2021 → 31/10/2024

  Project: Research

  • Test Generation 100%
  • Algorithms 66%
  • Automaton 62%
  • Finite-State Machine 62%
  • Reinforcement Learning 62%