Functional Programming Enthusiast.
I'm interested in:
- Functional Programming
- Logico-mathematical structures of programming
- Formal Verification
- Kobe, Japan
Earned achievements
Starstruck
Starstruck
Loading
Pull Shark
x2
Pull Shark
x2
Loading