Education
Ph.D. in Electrical and Computer Engineering, North Dakota State University, 2019.
B.Tech. in Electronics and Communication Engineering, Institute of Engineering and
Management (IEM), West Bengal University of Technology (WBUT), 2013.
About
Dr. Ashiq Sakib joined Florida Polytechnic University as an Assistant Professor in
the department of Electrical and Computer Engineering in August 2019. His research
interest lies in the field of Asynchronous Design, Advanced Digital Design, Low-power
Design, and Formal Verification. His doctoral research focused on formal modeling
and developing formal verification methods for different Quasi-Delay Insensitive (QDI)
asynchronous paradigms.
Before joining Florida Poly, Sakib worked as a research assistant, as well as teaching
assistant for courses on Digital Logic Design, Advanced Digital Design, Embedded Systems,
Computer Organization, and Electronics, in the department of Electrical and Computer
Engineering at North Dakota State University from 2014-2019. He also served as a guest
lecturer for multiple undergrad and grad level courses, such as Digital Logic Design
and Computer Aided Verification.
Sakib has also served as a reviewer for IEEE technical conferences, such as International
Symposium on VLSI (ISVLSI), Mid-West Symposium on Circuits and Systems (MWSCAS), Asia
Pacific Conference on Circuits and Systems (APCCAS), etc. He is a member of the honor
society of Phi-Kappa-Phi (PKP) and IEEE- Eta-Kappa-Nu (HKN). He was also a Graduate
Studies Senator in the Student Government at North Dakota State University.
Expertise
- Asynchronous Logic Design
- Advanced Digital Design
- Embedded Systems
- Formal Verification
- Low-Power Design
Professional Activities
- Member, Program Assessment Committee, Florida Polytechnic University.
- Member, ECE Curriculum Committee, Florida Polytechnic University.
- Member, Search Committee for Assistant Professor, Dept. of Electrical and Computer
Engineering, North Dakota State University.
- Vice-President (2018) and Treasurer (2017), IEEE-Eta Kappa Nu Honor Society, Gamma
Tau Chapter.
- Member, Institute of Electrical and Electronics Engineers (IEEE) and Institute of
Electrical and Electronics Engineers- Circuits and Systems Society (IEEE-CAS).
Awards and Honors
- Love of Learning award by the honor society of Phi Kappa Phi, 2018.
- NSF Travel Award to participate in the Student Activities program, IEEE-VTS’17 conference
held in Las Vegas, 2017 (1 of 10 recipients).
- Graduate Research Assistantship, National Science Foundation under Grant No. CCF-1717420.
- Graduate Teaching Assistantship, Dept. of Electrical and Computer Engineering, NDSU.
- Recognition for All-round Performance, Institute of Engineering and Management (IEM),
2013.
Selected Publications
- Book Chapter: A. A. Sakib, S. Le, S. C. Smith, and S. K. Srinivasan, “Chapter 15: Asynchronous Circuit Verification,”
Asynchronous Circuit Applications, Institution of Engineering and Technology (IET), London, UK (In Press).
- A. A. Sakib, S. C. Smith, S. K. Srinivasan, “Formal Modeling and Verification of PCHB Asynchronous
Circuits,” IEEE Transactions on VLSI, pp. 1-14, doi: 10.1109/TVLSI.2019.2937087, 2019.
- A. A. Sakib, S. C. Smith, and S. K. Srinivasan, “Formal Modeling and Verification for Pre-Charge
Half Buffer Gates and Circuits,” IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), pp. 519-522.
- A. A. Sakib, S. C. Smith, and S. K. Srinivasan, “An Equivalence Verification Methodology for
Combinational Pre-Charge Half Buffer Asynchronous Circuits.” IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), pp. 767-770.
- M. Hossain, A. A. Sakib, S. C. Smith, and S. K. Srinivasan, “An Equivalence Verification Methodology Asynchronous
Sleep Convention Logic Circuits.” IEEE International Symposium on Circuits and Systems (ISCAS), 2019, pp. 1-5.