Yakoub Nemouchi

Research Activity per Year


Personal Profile

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.

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

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)

Education/Academic Qualification

Master, Computer Science, University of Paris-Est

PhD, Computer Science, University of Paris-Sud


Dive into the research topics where Yakoub Nemouchi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles