Publications

Presentations

Theses

  • The Practical Guide to Levitation
    (report, presentation, code)
    Ahmad Salim Al-Sibahi
    MSc Thesis
    IT University of Copenhagen, 2014
    Supervised by Peter Sestoft and David Christiansen

Image

Ahmad Salim Al-Sibahi

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

Back to Overview