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

Today we’re going to discuss the World Wide Web - not to be confused with the Internet. The World Wide Web is built on the foundation of simply linking pages to other pages with hyperlinks, but it is ...

This course introduces students to the key features of programming languages. Students implement a series of interpreters that nail down the precise details of how various aspects of programming ...

CATALOG DESCRIPTION: CS 211 teaches foundational software design skills at a small-to-medium scale. We aim to provide a bridge from the student-oriented How to Design Programs languages to real, ...