Imperial College London

Guillaume Ambal

Faculty of EngineeringDepartment of Computing

Research Assistant in Program Semantics & Verification



g.ambal Website CV




Huxley BuildingSouth Kensington Campus





I am a postdoc researcher under the direction of Azalea Raad. I am working on formalizing the semantics of weak memory models.

My PhD, supervised by Alan Schmitt and Sergueï Lenglet, was on skeletal semantics, a framework to simplify the definition of programming languages.

Selected Publications

Journal Articles

Ambal G, Lenglet S, Schmitt A, 2021, HOπ in Coq, Journal of Automated Reasoning, Vol:65, ISSN:0168-7433, Pages:75-124


Ambal G, Lenglet S, Schmitt A, et al., 2022, Certified Derivation of Small-Step From Big-Step Skeletal Semantics, PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, ACM

Ambal G, Lenglet S, Schmitt A, 2022, Certified abstract machines for skeletal semantics, CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, ACM

Thesis Dissertations

Ambal G, 2022, Skeletal Semantics Transformations

More Publications