Personal Information
Organization / Workplace
Kawasaki, Kanagawa, Japan Japan
Occupation
Software Engineer
Industry
Technology / Software / Internet
Website
About
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.
Contact Details
