- algorithms and complexity Verification and synthesis of trustworthy systems, in particular in the domains of cyber-physical... and secure systems Security theme as last year (Cyber Security, with an emphasis on cross-disciplinary application domains...
Newcastle University