Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Ahmad Salim Al-Sibahi

Registered user since Tue 23 Aug 2016

Name: Ahmad Salim Al-Sibahi

Country: Denmark

Affiliation: Department of Computer Science, University of Copenhagen (DIKU) & BilagScan

Personal website: http://alsibahi.xyz

Research interests: Probabilistic Programming, Machine Learning, Programming Languages, Software Engineering, Compiler Construction


GPCE 2018Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
Show activities from other conferences

SPLASH 2018-profile
View general profile