Operating Systems, Software correctness, Concurrency primitives, Low-level programming, Distributed Systems, Databases, Programming Language Theory, Mathematics, Type Theory, Formal Verification/System Modeling/Logic Programming, Linux internals, Advanced web development, Networking, Security, Graph...