Hi! I’m Fathan, CS + Math undergraduate at NUS. My interests lie in systems, formal methods & algorithms.
I’m currently:
- interning at Huawei as a software engineer
- building a time-series storage engine
- learning formal verification with Lean
I’ve previously been a:
- Software Engineer Intern at CloudsineAI
- Competitive Programming Coach at Kokocoder