-
cross-layer defenses that ensure secure and efficient AI model development at scale. Information about the division The department of Computer Science and Engineering is strongly international, with
-
for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required
-
failures. We offer access to unique experimental data and computational tools developed by our research team for addressing a timely societally relevant problem. Project overview The aim is to unravel
-
changing environment will affect the stability of quick clays, and the probability of triggering catastrophic failures. We offer access to unique experimental facilities and computational tools developed by