Faiq Khalid


E-Mail: faiq.khalid@tuwien.ac.at
Phone: +43 (1) 58801-18268
Fax: +43 (1) 58801-18297

Vienna University of Technology
Department of Computer Engineering
Embedded Computing Systems Group
Treitlstrasse 3, 2nd floor, 1040 Wien, Austria


I am the Project Assistant at the Research Group for Computer Architecture and Robust, Energy-Efficient Technologies (CARE-Tech.), Institute of Computer Engineering, Vienna University of Technology (TU Wien), Austria, under the supervision of Dr. Muhammad Shafique. Previously, I was the Research Assistant at System Analysis and Verification (SAVe) Lab of School of Electrical Engineering and Computer Sciences, National University of Sciences and Technology under the supervision of Dr. Osman Hasan. My main research interests include formal analysis and verification of embedded systems and, robust and dependable hardware design.

Currently, I am working on Cross-Layer Reliability and Dependability for Multi-Processor Systems-on-Chip (MPSoC). The aim of this research work is to provide a generic methodology to design and implement the run-time solutions to estimate the vulnerabilities and to detect the malicious intrusions and cyber/hardware attacks on different layers of MPSoC.

Moreover, I am pursuing my Ph.D. Degree in robust and reliable hardware platforms at Technische Universität Wien (TU Wien), Austria. I am also doing my research work as a part of DAAD Deutsch-Pakistanische Forschungskooperationen Project: “Formal Verification of Distributed Thermal and Resource Management Schemes for On-Chip Many-Core Systems”. The aim of this research work is to illustrate the practical effectiveness of model checking by applying it to accurately analyze and improve upon some of the recently developed and widely used distributed DTM and DRM algorithms for on-chip many-core systems. As a part of the above-mentioned project, I went for a research internships from 16th April 2016 to 4th May 2016 and 5th December 2016 to 30th December 2016 at Chair for Embedded Systems (CES) under the supervision of Prof. Dr. Joerg Henkel in Karlsruhe Institute of Technology (KIT).