Currently working at Holistics/DBX.
I'm interested in these areas of computer science:
- Type & language theory (Current focus)
- Logic & Formal system
- Category theory
- Concurrency theory
- Operating systems
- Databases
- Performance
- Engineering in general
Wish I could connect with anyone who shares similar interests or just wants to exchange ideas. I feel like there are a lot to learn.
Some related repositories:
- type-theory: Documenting my research of type & language theory.
- MPiSC: My bachelor thesis on distributed wait-free MPSC queues, which was my first dive into concurrency theory. I was intrigued by the concept of progress guarantee and the many problems in this field. However, I find it pretty hard.
Drop me a message:
