To recognize the academic achievements of students, the University of Sheffield is providing the PhD Scholarships in Logical Approach to Verification of Hyperproperties. The goal of this project is to develop the theory of team-based logic for hyperproperties. The concrete direction the student takes is quite flexible. The University of Sheffield, founded in 1905, is …
