-
development activities at the intersection of Agentic AI, AI Security, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe
-
at the University of Luxembourg brings together researchers from a range of disciplines using qualitative, quantitative and mixed methods approaches, often working across disciplinary boundaries and in close
Enter an email to receive alerts for formal-method-"https:" positions