Registered user since Tue 23 Aug 2016
Name: Ahmad Salim Al-Sibahi
Bio: I am a PhD Fellow at the IT University of Copenhagen as a part of the VARIETE project, under the supervision of Andrzej Wąsowski and Aleksandar Dimovski.
My main research interests include the design and implementation of programming languages, especially in the areas of semantics and type systems. My current project is to investigate how to practically specify and analyse DSL models and transformations, and in my spare time I am also a committer in the Idris project.
Affiliation: IT University of Copenhagen, Denmark
Personal website: http://alsibahi.xyz
Research interests: Programming Languages, Software Engineering, Compiler Construction, Model-driven Development
|POPL 2017||Author of Abstract Interpretation of High-Level Transformations within the Student Research Competition-track|
|Show activities from other conferences|
View general profile