Naif Alasmari

Papers

Total Citations

H-Index

About

Naif Alasmari is a researcher whose work sits at the intersection of formal methods, software engineering, and optimization, with a particular focus on synthesizing reliable and high-performance system designs. His key research areas include Markov decision processes (MDPs), multi-objective optimization, and the automated synthesis of verified software policies. Alasmari’s most notable contribution is his pioneering approach to evolutionary-guided synthesis, which enables the generation of verified Pareto-optimal MDP policies. This work directly addresses the challenge of balancing complex, often conflicting quality-of-service (QoS) requirements in software systems—such as performance, reliability, and cost—by translating these requirements into optimal design or configuration policies. His 2021 paper on this topic has garnered 7 citations, establishing a foundation for further research in automated, correct-by-construction system design. By integrating evolutionary algorithms with formal verification, Alasmari provides a powerful methodology for engineers seeking to explore trade-offs in system architectures without sacrificing correctness. His work is particularly relevant for safety-critical and resource-constrained domains, where finding the right balance between multiple QoS objectives is paramount.