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
Contributions
| GPCE 2018 | Verification of High-Level Transformations with Inductive Refinement Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2018-profile
View general profile
View general profile