Teaching

 

CENG 794 Computer aided formal verification (Fall 2018, Fall 2017, Fall 2016) tentative syllabus

CENG 491/492 Computer engineering design (2017-2018)

CENG 350 Software engineering (Spring 2017, Spring 2016)

CENG 280 Formal languages and abstract machines (Spring 2017, Spring 2018)

CENG 223 Discrete computational structures (Fall 2016)