A curated suite of advanced computer science & engineering courses spanning language theory, virtual machines, compilers, systems internals, formal verification, security, synthesis and emerging paradigms. Designed for professionals, researchers, and ambitious learners seeking mastery and depth.
All courses and workshops are interactive and can be delivered in-person, virtual, remote, or online based on your preferences and needs.
📚 Foundations
New
Foundations of Programming Languages
Core principles of syntax, semantics, paradigms, and type systems, introducing how languages are defined and understood.
Programming Languages