Registered user since Tue 10 Sep 2019
I’m a post-doc researcher at University of Geneva (Switzerland) and Northeastern University (United States). I’m working on language designs for safe and high-performance computing.
Besides research, I’m also actively involved in software development and engineering, and actively maintain a handful of open source software libraries. Most (if not all) of my work is available on my GitHub profile.
|VIMPL 2023||Committee Member in Organizing Committee within the VIMPL 2023-track|
|MoreVMs 2023||Committee Member in Program Committee within the MoreVMs'23-track|
|Show activities from other conferences|