-
, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe deployment of AI systems in real-world environments. Current research
-
developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions