Dr. Liam O'Connor

I am a senior lecturer at the School of Computing. My research interests include formal semantics of programming languages, formal verification of software safety and security, logic and theoretical computer science.