Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
Jihyeon Kim (김지현)
simnalamburt
Natural Born Developer
@contentstech-com VPE, Ex @portone-io, @snucse Seoul, Republic of Korea
임기정
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
Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
Kyuhong Byun (변규홍 / combacsa)
combacsa
Software Engineer. Fall in love with Natural Language Processing. Learning Korean / English / Japanese together with AI. ex-Skelter Labs CAIO.
Philipp G. Haselwarter
haselwarter
Researcher in programming languages, logic, security.
Aarhus University
Derrick
flrngel
AI, Search Engine, Product Matching, Software Engineering, and Whiskey
Ainbr Portland, OR