The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Published: 30 June 2023
News from the Formal Analysis Theory and Algorithms research section.
Professor Alice A Miller has been awarded an EPSRC grant M4Secure: Making Memory Management More Secure with Dr Jeremy Singer as PI.
We are welcoming Yiannis Giannakopoulos who joins the School of Computing Science as Senior Lecturer on 1 June 2023!
First published: 30 June 2023
<< News