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

The object-oriented paradigm popularized by languages including Java and C++ has slowly given way to a functional programming approach that is advocated by popular Python libraries and JavaScript ...

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