About Me

zer0-star

Software Engineer

whoami

I am:

• a competitive programmer
• a member of traP
• a student
• a programming language lover
• a type theory beginner

Education

Department of Mathematical and Computing Science, School of Computing, Institute of Science Tokyo

Links

• Twitter: @0x_zer0star
• Keybase: @zer0star
• Github: @zer0-star
• AtCoder: @zer0star
• Blog

Skills

• Competitive Programming
  • ICPC 2024, team zer0shiki, 19th in Asia Yokohama Regional
  • Ratings:
    • AtCoder: Algo 2068, yellow (at 2025/04/04)
• Web Development
  • Typescript
  • React, Next.js
  • Vue.js
• Functional Programming
• Type Theory, Logic
• Proof Assistants

Work Experiences

Internship at pixiv Inc. 2023/08

Static analysis/type checking with PHPStan

Blog post (Japanese): 夏インターンでPHPStanのバグを直してコントリビュートした話 - pixiv inside https://inside.pixiv.blog/2023/12/26/113000

Favorites

Programming Languages

• Nim
• Haskell
• Lean

Games

• Puzzle games
  • Puyo Puyo
  • Tetris
• Super Smash Bros.
• Street Fighter 6

Characters

• Feli
• Nanachi