About

Koki Kato is a software engineer in Japan.

Interests

• Databases and distributed systems. Beatrice is a toy DBMS, which aims to be a simple but made as a distributed system like BigTable or HBase.
• Data structures. I published several modules/crates that provide succinct data structures (fid, louds, fm-index) and probabilistic data strucutres (apbf).
• Test generation. Congo is an experimental test generation framework for Go, which adopts concolic testing to generate test cases with higher test coverage.

Job

2019-04-01 - LINE Corporation / Software Engineer

Links

• GitHub
• LinkedIn