• Foundational Analysis Techniques for High-Level Transformation Programs
    (report, presentation)
    Ahmad Salim Al-Sibahi
    PhD Thesis
    IT University of Copenhagen
    Supervised by Andrzej Wąsowski and Aleksandar S. Dimovski
    Defense Comittee: Riko Jacob, Tijs van der Storm and Xavier Rival

  • 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
    External Examiner: Andrzej Filinski


Ahmad Salim Al-Sibahi

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

Back to Overview