Courses

  • CS476 : Program Verification, Fall 2016

  • CS598 : Modelling of Probabilistic Systems, Fall 2016

  • CS584 : Embedded Systems Verification, Spring 2016

  • CS598 : Cryptography, Spring 2016

  • CS421 : Programming languages and Compilers, Fall 2015

  • CS477 : Formal Software Development Methods, Fall 2015

  • CS498 : Logic, Fall 2015