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 primary supervisor is Liam O'Connor, and my secondary supervisor is Rob van Glabbeek.

My research interests are in the use of formal logic for proofs of program correctness.
My primary project is currently working on QuickLTL, a dialect of linear temporal logic designed for testing of interactive applications.