Home

Hi there! My name is Rayhana Amjad, and I'm a PhD student at the Laboratory for the Foundations of Computer Science, at the University of Edinburgh.

My work is supervised by Liam O'Connor and Rob van Glabbeek.

My research interests are in the use of formal logic for verification of software systems.
My primary project is currently working on the semantics of finite-trace variants of linear-time temporal logic.