TUM
PhD student in operating systems, virtualization, formal verification at @TUM-DSE | ex full-stack Rust developer and cloud admin at @LRZ-BADW
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
