Dr. Syed Ali Asadullah Bukhari


Dr. Syed Ali Asadullah Bukhari

Assistant Professor


Dr. Syed Ali Asadullah Bukhari has done his PhD in Electrical Engineering from National University of Sciences and Technology NUST with specialization in formal verification of dynamic thermal management of on-chip many-core systems. Before that he did his MS in Electrical Engineering (Digital Systems and Signal Processing) and BE in Electronics Engineering from NUST.

He is currently working as Assistant Professor at SPCAI, PAF-IAST. His research areas include the formal verification of embedded systems and thermal management in many-core systems. He is also interested in IoTs, TinyML, and application of formal verification to AI and vice-versa.

He has expertise in formal verification tools like nuXmv and HOL Theorem Prover, and languages like Verilog HDL, MATLAB, C and Assembly. He has hands-on experience on hardware development platforms like FPGAs, microprocessors, and sensors.

Professional Appointments

  • Assistant Professor, SPCAI, PAF-IAST, 2022-Present
  • Senior Engineer, SPCAI, PAF-IAST, 2020-2022
  • Research Assistant, NUST-SEECS, Pakistan, 2014 - 2020
  • Visiting Researcher, FBK, Italy, 2018 – 2018 (06 months)
  • Visiting Researcher, KIT, Germany, 2015 (01 month, i.e., Aug), 2016 (03 months, i.e., May, Nov-Dec)
  • Lab Engineer, NUST-SEECS, Pakistan, 2009 - 2013


  • Ph.D. in Electrical Engineering NUST-SEECS, 2022
  • MS in Electrical Engineering, NUST-SEECS, 2013
  • BE in Electronics Engineering, NUST-SEECS, 2009


  • A. A. Bukhari, F. Khalid, O. Hasan, M. Shafique and J. Henkel, “Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 8, pp. 1725-1738, Aug. 2020, https://doi.org/10.1109/TCAD.2019.2921313
  • A. A. Bukhari, F. Khalid, O. Hasan, M. Shafique and J. Henkel, “CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking,” Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, 2017, pp. 1289-1292, https://doi.org/10.23919/DATE.2017.7927191
  • A. A. Bukhari, F. Khalid, O. Hasan, M. Shafique and J. Henkel, “FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems”, in Science of Computer Programming, Volume 133, Part 2, 2017, Pages 154-174, https://doi.org/10.1016/j.scico.2016.06.004.
  • A. A. Bukhari, F. Khalid, O. Hasan, M. Shafique and J. Henkel, “Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv”. In: Formal Techniques for Safety-Critical Systems. FTSCS 2014. Communications in Computer and Information Science, vol 476. Springer, Cham. https://doi.org/10.1007/978-3-319-17581-2_3
  • S. A. A. Bukhari and S. Iqbal, “A Hardware Architecture for Difference of Gaussian Calculation in Image Feature Extraction,” 2014 12th International Conference on Frontiers of Information Technology, 2014, pp. 342-345, https://doi.org/10.1109/FIT.2014.70