A personal github account.
Jineon Baek
jcpaik
Postdoc @ Yonsei University, Korea.
I use programming to understand, assist and formalize my pure mathematics research.
Yonsei University Seoul
Haowen Shi
harveybia
Co-Founder of Mach9 Robotics, Carnegie Mellon ECE + MSR, Apple CoreOS Performance Intern 2018 and 2019.
@mach9robotics San Francisco
Jeehoon Kang
jeehoonkang
Searching for the "right" abstraction for concurrency and parallelism. Associate Professor of Computing at KAIST.
@kaist-cp, @kaist-pl, @furiosa-ai Daejeon, Korea