Topic
- Computing and Processing
- Components, Circuits, Devices and Systems
- Communication, Networking and Broadcast Technologies
- Power, Energy and Industry Applications
- Signal Processing and Analysis
- Robotics and Control Systems
- General Topics for Engineers
- Fields, Waves and Electromagnetics
- Engineered Materials, Dielectrics and Plasmas
- Bioengineering
- Transportation
- Photonics and Electrooptics
- Engineering Profession
- Aerospace
- Geoscience
- Nuclear Engineering
- Career Development
- Emerging Technologies
- Telecommunications
- English for Technical Professionals
Waqar Ahmad
Also published under:
Affiliation
Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan
Topic
Essential Step,Formal Analysis,Probability Of Failure,Probability Space,Components Of System,Event Tree,Measure Space,Power Grid,Random Variables,Reliability Analysis,Analysis System,Automatic Generation,Average Frequency,Commercial Tools,Electric Power,Exponential Distribution,Failure Events,Fault Tree Analysis,Formal Methods,Interruption Duration,Monte Carlo Approach,Mutual Independence,Operation State,Optimal Power Flow,Power Generation,Power Plants,Power System,Probabilistic Analysis,Probable Path,Proof Of Theorem,Reliable Technology,Renewable Energy Sources,Safety-critical,Simulation Tool,Solar Power Plants,Wind Power,Algebra,Assumptions Of Theorem,Automated Vehicles,Battery Charging,Braking System,Commercial Software,Complete Failure,Conventional Generation,Copper Loss,Correct Decisions,Critical Systems,Current Transformer,Discrete Random Variable,Domain Experts,
Biography
Waqar Ahmad (Member, IEEE) received the Ph.D. and M.Phil degrees from the National University of Sciences and Technology (NUST), Islamabad, Pakistan, and Quaid-i-Azam University, Islamabad, in 2012 and 2017, respectively.
He is currently a Postdoctoral Research Fellow with Concordia University, Montreal, QC, Canada. His research interests include formal reasoning and dependability analysis of safety-critical systems. He published more than 20 research papers.
Dr. Ahmad received the Young Researcher Award from Heidelberg Leureate Forum (HLF-18), Germany, the best researcher awards from SAVE lab, in 2015 and 2016, and the Best Paper Award in WCE-11, London, U.K. He is also a member of IEEE young professionals.
He is currently a Postdoctoral Research Fellow with Concordia University, Montreal, QC, Canada. His research interests include formal reasoning and dependability analysis of safety-critical systems. He published more than 20 research papers.
Dr. Ahmad received the Young Researcher Award from Heidelberg Leureate Forum (HLF-18), Germany, the best researcher awards from SAVE lab, in 2015 and 2016, and the Best Paper Award in WCE-11, London, U.K. He is also a member of IEEE young professionals.