Waqar Ahmad

http://save.seecs.nust.edu.pk/waqar-ahmad/
waqar.ahmad@seecs.edu.pk
Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan

• Introduction
• Research
• Publications

• Research Associate

  System Analysis and Verification (SAVe) Lab

  NUST School of Electrical Engineering and Computer Sciences

  I completed my PhD in Information Technology (2012-17) under the supervision of Dr. Osman Hasan. Currently, I’m currently working as postdoc at HVG, Concordia University, Montreal, Canada and also serving as a Research Associate at SAVe lab. My research focus is on Formal Dependability Analysis using Higher-order-logic Theorem Proving and its applications in various safety and mission-critical domains which includes oil and gas pipelines, virtual data centers (VDC) in cloud computing infrastructure and satellite’s solar arrays. My research interests are:

  • Formal Methods
  • Application Specific Integrated Processors (ASIP)
  • Embedded systems (FPGA and Microprocessors)

  My updated Resume can be found HERE

  Recent Activities

  • Fully Funded Grant for HLF 2018
  • Successfully Defended PhD Thesis on July 26, 2017
  • PC Member of CICM 2017
  • Paper Accepted in Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
  • Research Visit to Formal Method Research Group at UT Austin, Tx, USA (Oct 2016 – Present)
  • Paper Accepted in Journal of Network and Computer Applications (JNCA 2016)
  • Paper Accepted in SETTA 2016
  • Paper Accepted in ICFEM 2016

• Projects

  • Dependability Computation using HOL4/ACL2 Link
  • Formalization of Reliability Block Diagrams in Higher-order Logic
  • Formal Fault Tree Analysis using Theorem Proving
  • Formal Reliability Analysis in Higher-order Logic (HOL)

• Refereed Journals

  1. W. Ahmed, O. Hasan, S. Tahar and M. S. Hamdi, “Formal Reliability Analysis of Oil and Gas Pipelines”, Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability, SAGE Publications, UK, 2017 (Accepted).

  2. W. Ahmed, O. Hasan, U. Pervez and J. Qadir, “Reliability Modeling and Analysis of Communication Networks”, Journal of Network and Computer Applications, Elseiver, volume 78, pp. 191-215, 2016.

  3. W. Ahmed, O. Hasan and S. Tahar, “Formalization of Reliability Block Diagrams in Higher-order Logic”, Journal of Applied Logic, Elseiver, volume 18, pp. 19-41, 2016.

  Peer Reviewed Conferences

  1. W. Ahmed, and O. Hasan, “Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach“, Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA-2016), Springer, LNCS 9984, Beijing, China, pp. 264-279.

  2. W. Ahmed, and O. Hasan, “Formal Availability Analysis using Theorem Proving“, 18th International Conference on Formal Engineering Methods (ICFEM-2016), Springer, LNCS 10009, Tokyo, Japan, pp. 226-242.

  3. W. Ahmed, and O. Hasan, “Formal Dependability Modeling and Analysis: A Survey”, Conferences on Intelligent Computer Mathematics (CICM-2016), Springer, LNCS 9791, Bialystok, Poland, pp. 132-147.

  4. W. Ahmed, O. Hasan and S. Tahar, “Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving”, Implementation of Logics (IWIL 2015), volume 40, EPiC Series in Computing, Suva, Fiji, pp. 1-14.

  5. W. Ahmed, O. Hasan and S. Tahar, “Formal Reliability Analysis of Wireless Sensor Network Data Transport Protocols using HOL“,11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob-2015), IEEE, Abu Dhabi, UAE, pp. 217-224.

  6. W. Ahmad and O. Hasan, “Towards Formal Fault Tree Analysis using Theorem Proving”, Conferences on Intelligent Computer Mathematics (CICM-2015), Springer, LNCS 9150, Washington, USA, pp. 39-54.

  7. O. Hasan, W. Ahmed, S. Tahar and M. S. Hamdi, “Reliability Block Diagrams based Analysis: A Survey”, International Conference of Numerical Analysis and Applied Maths (ICNAAM-14), American Institute of Physics, Rhodes, Greece, 2014.

  8. W. Ahmed, O. Hasan, S. Tahar and M. S. Hamdi, “Towards the Formal Reliability Analysis of Oil and Gas Pipelines”, Conferences on Intelligent Computer Mathematics (CICM-2014), Springer, LNAI 8543, Coimbra, Portugal, 2014, pp. 30–44.

  9. W. Ahmed, H. Mahmood, and U. Siddique, “The efficient implementation of S8 AES algorithm”, In Proceedings of world congress on engineering, London, UK, 2011, pp. 1215-1219.

  10. W. Ahmed, H. Mahmood, and U. Siddique, “Efficient Implementation of Computationally Complex Algorithms: Custom Instruction Approach”, Electrical Engineering and Intelligent Systems, Springer, LNEE 130, 2013, pp 39-52 яндекс

  Technical Reports

  1. W. Ahmed, O. Hasan and Sofiene Tahar, “Formalization of RBD in HOL.”, Technical Report, NUST, Islamabad, Pakistan, 2016.