Registered user since Tue 10 Sep 2019
Dimitri is a post-doc researcher at University of Geneva (Switzerland) and Northeastern University (United States). He is working on language designs for safe and high-performance computing, with a particular focus on type and memory safety.
Besides research, he is also actively involved in software development and engineering, and actively maintains a handful of open source software libraries. Most (if not all) of of his work is available on my GitHub profile.
|ICOOOLPS 2022||Belief Programming with Map Family Decision Diagrams|
|Show activities from other conferences|