Search Blog Results


  • Monday, November 13, 2017

  • CIIT

  • Shama Munir - ITC Wah

Department of Electrical Engineering conducted a seminar titled “Formal Verification; Formal Methods and its Applications to Computer Systems” on November 8, 2017 by Assistant Professor, Dr.Wilayat Khan, organized by IEEE CIIT Wah Student Chapter.

  • Monday, October 17, 2016

  • CIIT

  • Shama Munir

Department of Electrical Engineering arranged a Seminar titled "An Informal Introduction to Formal Methods" on October 6, 2016. Guest Speaker, Dr. Osman Hasan, Assistant Professor from SEECS NUST informed the audience on subject.