Institute of Mathematics, Physics, and Mechanics
IMFM-SI
A public research institution in Slovenia
Kyuhong Byun (변규홍 / combacsa)
combacsa
Software Engineer. Fall in love with Natural Language Processing. Learning Korean / English / Japanese together with AI. ex-Skelter Labs CAIO.
Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
Jineon Baek
jcpaik
Research Fellow @ Korea Institute for Advanced Study (KIAS), Korea.
I use programming to understand, assist and formalize my pure mathematics research.
Yonsei University Seoul
임기정
KiJeong-Lim
I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University.
https://sites.google.com/view/fcai-lab Seoul, Republic of Korea
Philipp G. Haselwarter
haselwarter
Researcher in programming languages, logic, security.
Aarhus University