Pak-Austria Fachhochschule: Institute of Applied Sciences & Technology, Khanpur Roard, Mang, Haripur, Khyber Pakhtunkhwa.

Contact Information

Call: +923355011016


Research Interests

  • Embedded Systems
  • Formal Verification
  • Model Checking
  • Thermal Management in Many-Core Systems

Syed Ali Asadullah Bukhari

Senior Engineer

Sino-Pak Center for Artificial Intelligence


Syed Ali Asadullah Bukhari holds a MS Degree in Electrical Engineering from National University of Sciences and Technology NUST, Pakistan with specialization in Embedded Systems and Digital Signal Processing. Before that, he did his Bachelor of Engineering in Electronics Engineering from NUST, Pakistan.Currently, he is also pursuing his PhD in Electrical Engineering from NUST with specialization in formal verification of dynamic thermal management of on-chip many-core systems.

He is presently working as Senior Engineer at Sino-Pakistan Center for Artificial Intelligence (SPCAI) at Pakistan-Austria Fachhochschule-Institute of Applied Sciences and Technology (PAF-IAST), since June 2020. Before that he has been working as a Research Assistant (RA) at System Analysis and Verification (SAVe) Lab, at NUST School of Electrical Engineering and Computer Science (SEECS), since Feb 2014. During his tenure as a RA, he has worked on different research projects. He has served as a team lead on the DAAD funded project titled “Formal Verification of Distributed Thermal and Resource Management Schemes for On-Chip Many-Core Systems”. As a part of the project, he has made research visits to Chair of Embedded Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany. He has also made a six-month research visit to Embedded Systems Lab at Fondazione Bruno Kessler FBK, Trento, Italy, as part of his PhD research. He has published 2 IF journal papers and 2 international conference publications. He has also served as Lab Engineer at NUST-SEECS for 3.5 years, during which he designed and conducted labs for various undergraduate courses. He also briefed PEC teams during their accreditation visits to NUST-SEECS. He has expertise in formal verification tools like nuXmv, HOL Theorem Prover, and languages like Verilog HDL, MATLAB, C and Assembly. He has experience on hardware development platforms like FPGAs and Microprocessors.

His research areas include the formal verification of embedded systems and thermal management in many-core systems. He is also interested in the formal verification of AI algorithms and systems.


  1. 2013

    MS Electrical Engineering

  2. 2009

    BE in Electronics Engineering


Professional Appointments

  1. June 2020 to Present
    Senior Engineer
    Sino-Pak Center for Artificial Intelligence
  2. 2018 (6 Months)
    Visiting Researcher
    FBK, Italy
  3. 2015 (1 Month)-2016 (3 Months)
    Visiting Researcher
    FBK, Italy
  4. 2014 - 2020
    Research Assistant
    NUST-SEECS, Pakistan
  5. 2009 - 2013
    Lab Engineer
    NUST-SEECS, Pakistan