At its core, programming is about moving data and playing with it. When you send login credentials to a web server, or when you get your profile picture loaded, that’s code sending data back and forth ...

Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...

Ada, a 45-year-old programming language, might just solve the very problems developers have been grappling with for years.