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. This includes the use of logic for the semantics representation of the requirements and the behaviors of systems under verification, the development of automated symbolic execution environments, derived verification condition generators, and model-based testing frameworks.

Yakoub received his Ph.D. degree in computer science from the University of Paris-Sud Paris-Saclay, and a master’s degree in computer science from the University of Paris-Est Creteil.

Research Interests

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

Education

Ph.D., Computer Science, University of Paris-Sud Paris-Saclay

M.S., Computer Science, University of Paris-Est Creteil

Professional Experience

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)