Welcome to the Principles of Programming and Verification research group.

Activities

Principles of Programming and Verification Seminar: For Spring 2020, our seminars are held in Hariri seminar room on Tuesday from 4 pm to 5 pm.

Faculty:

Students: