Masahiro Sakai@msakai 
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
theorem-prover top 100 cupy top 100 cudnn top 100

Expertise

Global rank

# 126,137

Location

Kawasaki, Japan
Languages
opencl
Haskell
cpluspl...
Products
Jupyter...
pytorch
Topics
theorem...
cupy
cudnn
sse41
openmp
avx512
graph-c...
chainer
avx2
rocm

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.