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
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.