Jeehoon Kang@jeehoonkang 
Assistant professor of computing at KAIST. Searching for the "right" abstraction of systems programming. Concurrency, parallelism, @rust-lang, @coq.
parallelism top 10 lock-free top 100 kv top 100

Expertise

Global rank

# 89,182

Location

Daejeon, Korea
Languages
f-sharp
Rust
rust-la...
F#
OCaml
Topics
paralle...
lock-fr...
kv
formal-...
b-tree
persist...
operati...
unikern...
smt
depende...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.