Study fundamental concepts on which programming of languages are based, and execution models supporting them. Topics include values, variables, bindings, type systems, control structures, exceptions, ...

Our research area investigates the fundamental principles, processes and technologies for the ... internet-scale computing, language design, type theory, formal verification, logics, semantics, and ...