-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
fundamental and applied research within verification and model checking, embedded and cyber-physical systems, data-intensive systems, AI, planning, networks, programming theory, and security. Applications span
Searches related to software verification
Enter an email to receive alerts for software-verification "Prof" positions