In Programming Languages research, we explore the ways in which computations are expressed in written form. Our research focuses on three central ideas: the semantics of a particular piece of program ...

While linguistics examines conveyance, processing, and the evolution of natural languages, computer science applies the same questions to programming. Both fields deal with syntax, semantics ...

Active research areas include software architectures, application frameworks, software security, internet-scale computing, language design, type theory, formal verification, logics, semantics, and ...