Prof. Dr. Adnan Rashid

Career and research

Is an Assistant Professor in School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and technology (NUST), Pakistan since October 2020. Did his PhD from NUST-SEECS under the supervision of Dr. Osman Hasan. The topic of my PhD thesis was “Formalization of Transform Methods using Higher-order-logic Theorem Proving”. I worked as a Postdoctoral Researcher at System Analysis and Verification (SAVe) Lab, NUST-SEECS from March 2019 to March 2020. Prior to this, he worked as a Research Assistant at SAVe Lab from July 2013 to February 2019. I also worked as a visiting researcher at Hardware Verification Group (HVG), Concordia University, under the supervision of Prof. Sofiène Tahar from September 2017 to February 2018. He has a strong interest in Formal Methods, with their applications in Control Systems, Analog Circuits, Biological Systems, Robotics, Aerospace, Communication Systems, Cell Injection Systems, Transportation Systems and the Software Systems.