Book and Journal Publications

Conference Publications

Technical Reports



  • 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)
    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: Probably programming probabilistic programs for voucher scanning."

Back to Overview