Project ID: STAI-CDT-2021-KCL-7
Themes: AI Provenance, Logic, Reasoning
Supervisor: Albert Meroño Peñuela
Generating hypotheses is a fundamental step in the scientific method, but also increasingly challenging due to the ever-growing observational data from which hypotheses are derived. Papers are published at an unmanageable...
Read more
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
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