Empowering @uofglasgow.bsky.social students to achieve their full personal and professional potential ✨

glasgow.ac.uk/careers

Cybersecurity  Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics,  http://logicalhacking.com / @adbrucker@fediscience.org

Changing the world since 1451 🌍 | #TeamUofG #WorldChangingGlasgow https://www.gla.ac.uk/

official Bluesky account (check username👆)

Bugs, feature requests, feedback: support@bsky.app

Lecturer in Programming Language Foundations at the University of Glasgow.

Simon Fowler

University of Glasgow Careers, Employability & Opportunity

Achim D. Brucker

University of Glasgow

Bluesky