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.