Masahiro Sakai, Software engineer at Preferred networks, inc.

Masahiro Sakai

157 Followers

32 狠狠撸Shares 157 Followers 194 Followings

Masahiro Sakai is a researcher in the field of theoretical computer science. He is working as a software engineer at Preferred Networks, Inc. He received a master degree in “Media and Governance” with “Cyber Informatics” concentration at Keio university. He translated “Software Abstractions” and “Types and Programming Languages” into Japanese with his colleagues. His interest includes Programming Language Theory, Functional Programming, Software Engineering, Category Theory, Constraint Solving, SAT/SMT Solvers, Machine Learning, Mathematical Optimization, Computer Security.

haskell sat satisfiability machine learning satisfiability modulo theories smt quantifier elimination dpll cdcl solver optimization compiler category theory categorical programming llw fusion deep learning matlab vault linear types type-state gtk ruby gc gnome jit llring proofsummit theorem proving arithmetic model checking clr generics net parametric polymorphism haskell2010 verification pointer-analysis gobject montague grammar ptq ml code generation modal logic coursera icse icse2017 concurrency race condition javascript web applicaiton python type system neural network sat solver smt solver formal verification adversarial example coverage software testing testing omega coq presburger algorithm real closed field computer algebra decidacility cad alloy software engineering model finding max-sat pbs pseudo boolean pbo theory combination mooc