SPLASH 2023 (series) / Yann Hamdaoui

Registered user since Tue 9 Feb 2021
Name:Yann Hamdaoui
Bio:
I graduated with a Ph.D from IRIF (Université Paris Diderot and CNRS, France) on the translation of effectful computation into Linear Logic. I now work at Tweag I/O on the design and implementation of Nickel, a configuration programming language.
Country:France
Affiliation:Tweag
Personal website:https://hamdaoui.me
GitHub:https://github.com/yannham
Research interests:Type systems, programming languages design, software development, devops, configuration management
Contributions
CONFLANG 2023 | Committee Member in Organizing Committee within the CONFLANG23-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile