Syed Ali Asadullah Bukhari
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.