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
Falak Sher
Also published under:F. Sher
Affiliation
DGB Technologies, Formal Methods Group, Wyckoff, New Jersey, USA
Topic
Basic Events,Dependability,Dynamic Tree,Model Checking,Advanced Machine Learning,Analysis Approach,Assignable Cause,Common Failure,Confirmation Bias,Continuous-time Markov Chain,Cryptographic Hash,Deep Learning,Development Of Artificial Intelligence,Diesel Generators,Digital Content,Digital Signature,Disinformation,Dissemination Of Information,Diverse Case Studies,Electric Pump,Essential Properties,Estimation Approach,Ethical Challenges,Exact Results,Exponential Distribution,Failure Modes,Fake News,Fault Tree Analysis,Fire Detection,Fire Sprinkler,Functional Independence,Gate Model,Generative Adversarial Networks,Graphical User Interface,Graphics Editor,Hardware Failure,Hash Function,Independent Modules,Industrial Case Study,Logic Model,Lognormal,Machine Learning Methods,Markov Chain,Mean Time To Failure,Measures Of Interest,Merkle Tree,Misinformation,Modularity,Monitoring Mechanisms,Monitoring Problem,
Biography
Falak Sher is a Formal Method Expert at DGB Technologies. He received his PhD from RWTH Aachen University and was a post-doctoral researcher at Fortiss GmbH, Germany. His areas of expertise include analysis of reactive, stochastic, real-time, and hybrid systems, and formal software verification.