The purpose of the Programming Languages Preliminary Examination is to provide students the opportunity to demonstrate mastery of the fundamentals in programming languages while gaining depth in a ...

Formal methods offer a mathematically rigorous framework for the specification, development and verification of programming languages and software systems. By leveraging techniques such as theorem ...

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

Formal methods are a suite of mathematically grounded techniques that underpin the design, specification, and verification of programming languages and software systems. They involve the use of ...