Guillaume Ambal

Guillaume Ambal is a Researcher in the Department of Computing at Imperial College London's Faculty of Engineering. He holds the academic rank of Researcher and focuses on formalizing the semantics of weak memory models. His current work is under the supervision of Azalea Raad as part of a postdoctoral position.

• Affiliations: Department of Computing
• Collaborators/Colleagues: Alan Schmitt, Sergueï Lenglet, Azalea Raad

His research interests span artificial intelligence, computation theory, and cognitive sciences, with a specific emphasis on programming language semantics and verification. His PhD work centered on 'skeletal semantics,' a framework simplifying programming language definitions, conducted under the supervision of Alan Schmitt and Sergueï Lenglet.

No specific articles or grants are explicitly listed in the provided text.