PLT/Compilers student, researcher, software engineer
Interests:
- System programming languages (C/C++, Zig, Rust)
- Managed/High level languages (functional, ...)
- PLT/Type theory/academia research
- Complex and/or distributed systems
- Gamedev/simulations/AI kind of stuff
Useful links:
