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.