Faisal Alhwikem

Papers

Total Citations

H-Index

About

Faisal Alhwikem is a researcher at the forefront of formal methods and software engineering, specializing in the synthesis of optimal and verified system designs. His key research areas include Markov decision processes (MDPs), multi-objective optimization, and automated verification, with a focus on ensuring software systems meet complex quality-of-service (QoS) requirements. Alhwikem’s major contribution is the development of an evolutionary-guided synthesis framework for generating verified Pareto-optimal MDP policies. This work, published in 2021 and cited 7 times, provides a novel approach to automatically discover system configurations that balance competing objectives—such as performance, reliability, and cost—while guaranteeing formal correctness. By translating MDP models into actionable policies, his method enables engineers to explore trade-offs in software design without manual trial-and-error. This achievement bridges the gap between formal verification and practical optimization, offering a powerful tool for building dependable, efficient systems. Alhwikem’s research is particularly impactful for students and practitioners in cyber-physical systems, autonomous robotics, and cloud computing, where multi-objective decision-making under uncertainty is critical. His work exemplifies how automated reasoning can drive innovation in software engineering.