• Trustworthy AI for DNA Sequencing

    Project ID: STAI-CDT-2021-IC-16
    Themes: Logic, Reasoning
    Supervisor: Thomas Heinis

    DNA sequencing is becoming ever more important for medical applications, be it for predictive medicine or precision/personalised medicine. At the same time, DNA sequencing is starting to use AI to map signals (from the...

    Read more

  • Discrete-continuous hybrid planning for adaptive systems

    Project ID: STAI-CDT-2021-IC-15
    Themes: AI Planning, Reasoning, Verification
    Supervisor: Antonio Filieri

    Adaptive cyber-physical systems rely on the composition and coordinated interaction of different decision-making procedures, each typically realized with specific AI methods. Cyber components capabilities and semantics are...

    Read more