Coordinating complicated interactive systems, whether it's the different modes of transportation in a city or the various components that must work together to make an effective and efficient robot, ...

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 ...

Though PLC (programmable logic controller) programming languages may not receive the attention that general computing programming languages, such as JavaScript, C#, or Python do, they remain critical ...