Faiq Khalid

Projektass.

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



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

Introduction

I am the Project Assistant at 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, hardware design security, design reliability of VLSI circuits.

Currently, I am working on Cross-Layer Reliability and Security 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 PhD Degree in hardware security at Vienna University of Technology (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).