About this author

Ahmad Salim Al-Sibahi is a PhD Fellow at the IT University of Copenhagen as a part of the VARIETE project, under the supervision of Andrzej Wąsowski and Aleksandar Dimovski.

The author’s main research interests include the design and implementation of programming languages, especially in the areas of semantics and type systems. He had recently worked with dependently-typed programming languages such as Idris, and his current project is to investigate how to practically specify and analyse the semantics of DSL models and transformations.

Outside work, he has recently joined the fitness tracking trend hoping to get more concious about his health. He sometimes enjoys a few games on his Xbox, and likes to join the local meeting group for functional programmers when time allows.


Ahmad Salim Al-Sibahi

"Currently working on: Validating and verifiying high-level transformations using traditional programming language techniques"

Back to Overview