http://save.seecs.nust.edu.pk/adnanrashid/
Email : adnan DOT rashid AT seecs DOT edu DOT pk
Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H12, Islamabad 44000, Pakistan


Assistant Professor
NUST School of Electrical Engineering and Computer Sciences
I am an Assistant Professor in School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and technology (NUST), Pakistan since October 2020. I did my PhD from NUSTSEECS under the supervision of Dr. Osman Hasan. The topic of my PhD thesis was “Formalization of Transform Methods using Higherorderlogic Theorem Proving”. I worked as a Postdoctoral Researcher at System Analysis and Verification (SAVe) Lab, NUSTSEECS from March 2019 to March 2020. Prior to this, I 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. I have 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.
Recent Activities

Projects

Journal Papers

Formal Verification of Matrix based MATLAB Models using Interactive Theorem Proving
A. Gauhar, A. Rashid, O. Hasan, João Bispo and João M.P. Cardoso
PeerJ Computer Science, 7:e440, DOI:10.7717/peerjcs.440, 2021
PreprintBibtex

Formal Analysis of the Continuous Dynamics of Cyberphysical Systems using Theorem Proving
A. Rashid and O. Hasan
Journal of Systems Architecture, Elsevier, Volume 112, No. 101850, DOI:10.1016/j.sysarc.2020.101850, 2021
PreprintBibtex

Formal Reasoning about Synthetic Biology using Higherorderlogic Theorem Proving
S. Abed, A. Rashid and O. Hasan
IET Systems Biology, Volume. 14, No. 5, pp. 271283, DOI:10.1049/ietsyb.2020.0026, 2020
PreprintBibtex

Formal Verification of Robotic Cell Injection Systems upto 4DOF using HOL Light
A. Rashid and O. Hasan
Formal Aspects of Computing, Springer, Volume 32, No. 23, pp: 229250, DOI: 10.1007/s00165020005143, 2020
PreprintBibtex

Formal Analysis of Unmanned Aerial Vehicles using Higherorderlogic Theorem Proving
S, Abed, A. Rashid and O. Hasan
Journal of Aerospace Information Systems, Volume. 17, No. 9, pp. 481495, DOI:10.2514/1.I010730, 2020
PreprintBibtex

Towards Formal Verification of Macroscopic Models of Traffic Flow in Higherorderlogic Theorem Proving
A. Rashid, M. Umair, O. Hasan and M. H. Zaki
IEEE Access, Volume. 8, No. 1, pp. 2729127307, DOI:10.1109/ACCESS.2020.2971661, 2020
PreprintBibtex

Formal Analysis of Continuoustime Systems using Fourier Transform
A. Rashid and O. Hasan
Journal of Symbolic Computation, Elsevier, Volume 90, pp. 6588, DOI:10.1016/j.jsc.2018.04.004, 2019
PreprintBibtex

Formalization of Lerch’s Theorem using HOL Light
A. Rashid and O. Hasan
Journal of Applied Logics, IfCoLog Journal of Logics and their Applications, 5(8):16231652, 2018
PreprintBibtex

Wearable Technologies for Hand Joints Monitoring for Rehabilitation: A Survey
A. Rashid and O. Hasan
Microelectronics Journal, Elsevier, DOI:10.1016/j.mejo.2018.01.014
PreprintBibtex

Formal Reasoning about Systems Biology using Theorem Proving
A. Rashid, O. Hasan, U. Siddique and S. Tahar
Public Library of Science (PLOS) ONE, Volume 12, No. 7, e0180179, DOI:10.1371/journal.pone.0180179, 2017.
PreprintBibtex
Conference Papers

Formalization of Transform Methods using Higherorder Logic: A Survey
M. Ahmed and A. Rashid
Formal Verification of Physical Systems (FVPS2021), CICM Workshop, CEUR, Timisoara, Romania
PreprintBibtex

FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
A. Rashid, A. Gauhar and O. Hasan
IEEE International Systems Conference, Montreal, Canada
PreprintBibtex

Formal Analysis of the Biological Circuits using Higherorderlogic Theorem Proving
S. Abed, A. Rashid and O. Hasan
ACM/SIGAPP Symposium On Applied Computing, pp. 355360, Brno, Czech Republic
PreprintBibtex

Formal Modeling of Robotic Cell Injection Systems in Higherorder Logic
A. Rashid and O. Hasan
Formal Verification of Physical Systems (FVPS2018), CICM Workshop, CEUR, Hagenberg, Austria
PreprintBibtex

Formal Verification of Platoon Control Strategies
A. Rashid, U. Siddique and O. Hasan
Software Engineering and Formal Methods (SEFM2018), Lecture Notes in Computer Science, Springer, Volume 10886, pp. 223238, Toulouse, France
PreprintBibtex

Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
A. Rashid and O. Hasan
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2017), Lecture Notes in Computer Science (LNCS), Springer, Volume 11267, pp. 127141, Seoul, South Korea
PreprintBibtex

Formal Analysis of Linear Control Systems using Theorem Proving
A. Rashid and O. Hasan
International Conference on Formal Engineering Methods (ICFEM2017), Lecture Notes in Computer Science, Springer, Volume 10610, pp. 345361, Xi’an, China
PreprintBibtex

Formalization of Transform Methods using HOL Light
A. Rashid and O. Hasan
Conference on Intelligent Computer Mathematics (CICM2017), Lecture Notes in Artificial Intelligence, Springer, Volume 10383, pp. 319332, Edinburgh, UK
PreprintBibtex

On the Formalization of Fourier Transform in Higherorder Logic
A. Rashid and O. Hasan
Interactive Theorem Proving (ITP2016), Lecture Notes in Computer Science, Springer, Volume 9807, pp. 483490, Nancy, France (Rank A, CORE)
PreprintBibtex

Formal Analysis of a ZigBeebased Routing Protocol for Smart Grids using UPPAAL
A. Rashid, O. Hasan and K. Saghar
HighCapacity Optical Networks and Enabling/Emerging Technologies (HONET2015), IEEE, pp. 8084, Islamabad, Pakistan
PreprintBibtex

Formal Analysis of Weather Forecasting Model in PRISM
A. Ahmed, A. Rashid and S. Iqbal
Frontiers of Information Technology (FIT2014), IEEE, pp. 355360, Islamabad, Pakistan
PreprintBibtex
Book Chapters

Formal Verification of Robotic Cell Injection Systems
A. Rashid, O. Hasan and I. T. Bhatti
Control Systems Design of BioRobotics and Biomechatronic with Advanced Applications, Elsevier, pp: 143170, Chapter 5, 2020

Formal Verification of ZigBeebased Routing Protocol for Smart Grids
A. Rashid and O. Hasan
Encyclopedia of Organizational Knowledge, Administration, and Technologies (Accepted in November 2018)
Technical Reports

Formal Reasoning about Systems Biology using Theorem Proving
A. Rashid, O. Hasan, U. Siddique and S. Tahar
Technical Report, NUST, Islamabad, Pakistan, 2017.

Formalization of Fourier Transform using HOL Light
A. Rashid and O. Hasan
Technical Report, NUST, Islamabad, Pakistan, 2017.

Formal Analysis of Linear Control Systems using Theorem Proving
A. Rashid and O. Hasan
Technical Report, NUST, Islamabad, Pakistan, 2017.

Conferences

Formal Verification of Platoon Control Strategies
Software Engineering and Formal Methods (SEFM2018), Toulouse, France.

On the Formalization of Fourier Transform in Higherorder Logic
Interactive Theorem Proving (ITP2016), Nancy, France.

Formal Analysis of a ZigBeebased Routing Protocol for Smart Grids using UPPAAL
HighCapacity Optical Networks and Enabling/Emerging Technologies (HONET2015), Islamabad, Pakistan.
Workshops

Formal Analysis of Realtime Systems using UPPAAL
Workshop on System Analysis and Verification – Using Formal Verification for Analyzing Thermal/Resource Management Algorithms for Multicore Architectures, NUSTSEECS, Islamabad, Pakistan, December, 2016.

Formalization of Transform Methods in Higherorder Logic
Workshop on System Analysis and Verification – Recent Trends in Theorem Proving (WSAV2016), NUSTSEECS, Islamabad, Pakistan, April, 2016.
Others

Formalization of Transform Methods using Higherorderlogic Theorem Proving
PhD Final Defense Presentation, School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan, March, 2019.

Formalization of Transform Methods using HOL Light
Weekly Meeting, Hardware Verification Group (HVG), Concordia University, QC, Canada, October, 2017.

National University of Sciences and Technology
 CS850, Advanced Theory of Computation (Postgraduate)
 CS354, Compiler Construction (Undergraduate)
