Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
-
Preferred Networks, Inc. (@pfnet)
- Kawasaki, Japan
- https://twitter.com/masahiro_sakai
Search results
0 open and 0 closed projects found.-
There aren't any projects yet




