James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Preferred Networks, Inc. (@pfnet) Kawasaki, Japan
Leni Aniva
lenianiva
Researcher in Machine-Assisted Theorem Proving;
Director of NorCal Hakkero Factory No. 1
Stanford University Centaur Lab San Francisco Bay Area, Gensokyo
Michitoshi Tsubaki
Michi-Tsubaki
B4 student at Department of mechano-informatics, the University of Tokyo
JSK Robotics Lab.
Niran N
felirox
MS@UTokyo | Prev: SDE-AI@Samsung, Informatica, Google DSC Lead || I play piano when bored
Japan
cm-ayf
UT s2-17 → ids-info → ist-ci / TS, Rust, etc. / interest in Programming Experience / ventus Inc. / utelecon /
The University of Tokyo, @ventus-inc, @utelecon