About this author

Ahmad Salim Al-Sibahi is an Industrial Postdoc at Skanned and Department of Computer Science, University of Copenhagen, working with Thomas Hamelryck and Fritz Henglein. He is working on how to use probabilistic programming to improve the scanning component of Skanned’s API.

He was previously a PhD Fellow and Postdoc at the IT University of Copenhagen as a part of the Software Quality Research group, under the supervision of Andrzej Wąsowski and Aleksandar Dimovski. His PhD project was about how to practically use programming language techniques to analyze high-level transformation programs. During his PhD, he had a research visit to the Celtique group at INRIA Rennes, working with Thomas Jensen.

He was also recently a contributor to the dependently-typed programming language Idris.


Ahmad Salim Al-Sibahi

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

Back to Overview