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.