Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, and Anton Podkopaev. Proceedings of the ACM on Programming Languages, Volume 6, Issue POPL 2022, [...]
Fredrik Dahlqvist and Renato Neves. In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. [...]
Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022
Eddie Jones. PhD Thesis, University of Bristol. 2023
VeTSS 2023
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]
About the role The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral research fellow to work on [...]
The Research Associate will participate in cutting edge research on type-based enforcement and compilation techniques for enforcement of security properties of higher-order programs. The position [...]
Applications are invited for a Research Associate (postdoctoral) position at Imperial College London, UK, under the supervision of Dr Azalea Raad. This is a two-year position, with the [...]
CyberASAP is a well-established programme now in its seventh year. The in-depth programme supports UK academics who are interested in commercialising their cyber security ideas and [...]
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with 
by Envious Digital
