About this author
Ahmad Salim Al-Sibahi is a Postdoctoral Researcher at the IT University of Copenhagen as a part of the Software Quality Research Groupe (SQUARE).
The author’s main research interests include the design and implementation of programming languages, especially in the areas of semantics and type systems. His current work is on using programming language verification methods to verify high-level transformation languages such as Rascal. He is a member of the development team for the dependently-typed programming language Idris.
Outside work, he sometimes enjoys a few games on his Xbox, and likes to join the local meeting group for functional programmers when time allows.