- Name: Horie Satoru (堀江 慧)
- E-mail: spinutids at gmail
Work experience
- AppBrew Inc. CTO
- Developing LIPS using Rails, AWS, Elasticsearch.
- 2019.03 -
- Murakumo Inc. Software Engineer
- Developed a big-data processing framework mainly in Erlang.
- 2017.04 - 2019.02
- Fixstars Corp. Part-time programmer in computer vision team
- Improved performance of a driver-assistance system using C++, CUDA, and OpenCV.
- 2016.09 - 2017.03
- Google Summer of Codes. Student developer in Ruby community
- Improved data structures inside Ruby interpreter written in C. (Final report, Proposal)
- 2016.04 - 2016.08
- Murakumo Inc. Part-time developer in big-data processing infrastructure team
- Developed distributed RDBMS from scratch in C.
- 2014.09 - 2017.03
Skills
- Programming Languages
- Proficient: C, C++, Erlang, Ruby, Golang
- Experienced: CUDA, Bash, SQL, JavaScript, Python, Elixir, Rust, Haskell, Java
- Languages: Native in Japanese, and fluent in English
- Skilled in critical thinking, logic, and math
Education
- The University of Tokyo, 2017
- Major in General Science, Department of General Systems Studies, Graduate School of Arts and Sciences
- Master Thesis: Massively parallel IDA* Search on GPU
- Honored as magna cum laude
- The University of Tokyo, 2015
- Informatics, Department of Interdisciplinary Sciences, College of Arts and Sciences
- Graduation Project: Efficient Model of Automated Planning in Mixed Linear Programming
Fields of Interest
- Algorithm, Parallel/Distributed Computing, High Performance Computing
- Artificial Intelligence, Decision Making, Computer Vision, Natural Language Processing
- Probability and Randomness, Combinatorial Optimization
Research papers
- Satoru Horie, Alex Fukunaga. 2017. Block-Parallel IDA* For GPUs. The 10th Annual Symposium on Combinatorial Search
- Shuwa Miura, Satoru Horie, and Alex Fukunaga. 2016. Automated Axiom Extraction in Classical Planning. Special Interest Group of Fundamental Problems in Artificial Intelligence