Dr. Wilayat Khan

Assistant Professor

Electrical and Computer Engineering , Wah Campus
Curriculum Vitae: Download

Contact Information:

Campus Phone #: +92 51 9314382-83, 9314482-83, 4534200-02
Send Message


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.

Postal Address:

COMSATS University, GT Road,
Wah Cantt, Pakistan.

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.

Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan

Powered by: ITCentre