Electrical and Computer Engineering
Campus Phone #:
+92 51 9314382-83, 9314482-83, 4534200-02
Dr. Wilayat Khan is an assistant professor at the Department of Electrical Engineering, COMSATS University Islamabad, Wah Cant. Dr. Khan was awarded PhD degree by the university of Venice, Italy in Feb 2015, under the supervision of Prof Michele Bugliesi. During his PhD, he was funded by Erasmus Mundus for a research period of five months in the DistriNet research laboratory in KU Leuven University, Belgium. In the meantime, he was also sponsored by the same university, NSF and Jane Street to attend the prestigious Oregon Programming Language Summer School, in University of Oregon, USA. In 2015, Dr. he worked as a research fellow in Nanyang Technological University (NTU), Singapore.
Dr. Khan is currently working on the formal analysis of computer systems. In particular, he is using mathematical tools and techniques to study and reason about computer hardware and software systems using interactive proof assistants Coq and Isabelle/HOL.
GT Road,Wah Cantt,
Disclaimer: The information displayed on this page belong to the author. Our employees are obliged not
to display any false information. Therefore, CU will not take any liability for any false information
included in this page. In case of any damages or other liabilites arising, employees are fully
responsible for the content of their profiles.
Powered by: ITCentre