Yakoub Nemouchi

Yakoub Nemouchi is a senior researcher on applied formal methods supporting various R&D projects in NREL's Secure Cyber-Energy Systems group in the Energy Security and Resilience Center. He works on the use of integrated formal methods to establish a verification strategy for the high assurance of hybrid systems, which are broadly defined to mean industrial control systems, energy systems, and cyber physical systems. Nemouchi works with NREL partners to develop solutions based on formalized mathematics for the modeling, verification, and validation of safety and security requirements for critical systems, including using logic for the semantics representation of requirements and behaviors of systems under verification; developing automated symbolic execution environments; derived verification condition generators; and model-based testing frameworks.

High-level assurance for cybersecurity and resilience

Safety and security critical systems

Formal methods

Formalized mathematics

Verification based on deductive proofs

Model based testing

Interactive theorem proving environments

Senior researcher on applied formal methods, NREL (2022–Present)

Assistant Professor, National Higher School of Biotechnology Constantine 01 (2021–2022)

Postdoctoral research associate, University of York (2018–2020)

Postdoctoral research associate, Virginia Tech University (2016–2018)

Research Associate, Laboratoire de Recherche en Informatique (2012–2016)