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
Asad Ahmed
Affiliation
Department of Computer Science, MY University, Islamabad, Pakistan
Topic
Bit Error,Bit Error Rate,Bitcoin,Body Area Sensor Network,Business Applications,Compression Ratio,Computer Simulations,Consensus Network,Data Distortion,Data Management,Data Packets,Data Retrieval,Data Security,Data Storage,Delay Constraint,Dire Need,Domains Of Attention,Edge Computing,Edge Devices,Edge Nodes,Efficient Presentation,Energy Consumption,Essential Step,File System,Formal Methods,Formal Verification,Functional Verification,Increase In Size,Inference Rules,Internet Of Things,Internet Of Things Applications,Internet Of Things Data,Internet Of Things Devices,Internet Of Things Networks,Internet Of Things Nodes,Medium Access Control,Model Checking,Network Size,Node Size,Optimization Problem,Performance Of Algorithm,Proof Of Stake,Propositional Logic,Resource Utilization,Sensor Networks,Severe Limitations,Smart Contracts,Storage Mechanism,Throughput Improvement,Vital Signs,
Biography
Asad Ahmed received the M.Phil. and M.Sc. degrees in electronics from Quaid-i-Azam University, Islamabad, Pakistan, and the Ph.D. degree in information technology from the National University of Sciences and Technology (NUST), Islamabad, in 2022.
His Ph.D. thesis titled “Formal Analysis of Power Electronics Circuits Using Theorem Proving.” He has significant experience in academia and industry. He was a Research Assistant with the System Analysis and Verification Laboratory (SAVe Lab), from 2013 to 2022. He was able to publish his research in well-reputed journals and conferences. His book entitled: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Springer International Publishing) is the culmination of his research with SAVe Lab. Before that, he was an Instructor with the National Institute of Engineering and Technology, for four years. He was a Telecom Engineer after the M.Sc. degree in the telecom field. During the Ph.D. degree, he has published a book, three international journals, and three international conference papers. His research interests include the formal analysis and verification of safety- or mission-critical systems using formal methods techniques, i.e., model checking and theorem proving. Currently, he is interested in using state-of-the-art formal methods and techniques in the domains of power electronics, control systems, smart grids, e-health, weather forecasting, and microeconomics.
His Ph.D. thesis titled “Formal Analysis of Power Electronics Circuits Using Theorem Proving.” He has significant experience in academia and industry. He was a Research Assistant with the System Analysis and Verification Laboratory (SAVe Lab), from 2013 to 2022. He was able to publish his research in well-reputed journals and conferences. His book entitled: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Springer International Publishing) is the culmination of his research with SAVe Lab. Before that, he was an Instructor with the National Institute of Engineering and Technology, for four years. He was a Telecom Engineer after the M.Sc. degree in the telecom field. During the Ph.D. degree, he has published a book, three international journals, and three international conference papers. His research interests include the formal analysis and verification of safety- or mission-critical systems using formal methods techniques, i.e., model checking and theorem proving. Currently, he is interested in using state-of-the-art formal methods and techniques in the domains of power electronics, control systems, smart grids, e-health, weather forecasting, and microeconomics.