- Poland
- @mt_sokol
Block or Report
Block or report mtsokol
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Aart Bik
aartbik
Aart J.C. Bik received his PhD from the Leiden University and currently is the TL of the MLIR Sparsifier team.
Google Mountain View
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin
Łukasz Janeczko
ljaneczk
Computer Science PhD student at AGH University of Science and Technology