Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Noeon Research (@noeon-ai) Kawasaki, Japan