Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Ahmad Salim Al-Sibahi

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 comitter in the Idris project.

Country: Denmark

Affiliation: IT University of Copenhagen, Denmark

Personal website: http://alsibahi.xyz

Research interests: Programming Languages, Software Engineering, Compiler Construction, Model-driven Development


SLE 2016Author of Symbolic Execution of High-Level Transformations within the SLE-track
Show activities from other conferences

SPLASH 2016-profile
View general profile