Emmanuel Zarpas

Research Staff Member

Research and Development in several areas:
- Governance, Risk and Compliance modeling
- Application Portfolio Management
- Formal verification solutions: SAT and BMC technologies, benchmarking
- Formal verification applications to systems automation and to BPM
- Formal verification applications to Business Continuity Solution
- Formal verification applications to hardware: Responsible for formal verification of several critical designs (e. g. security issues on the Cell, control logic for the S390 FPU or part of the MAC level of PCI-Express)

Sector: High Tech

Program Manager

ProATN Program Manager
ProATN was a European project to develop, deploy and validate a prototype of an air/ground “Internet” for air traffic control needs. Responsible for global management of the Thales ATM part ($3 million) of the project. Handled the costs, delivery, performance and customer satisfaction. Despite technical and managerial difficulties, ProATN was a real success and has been accepted by the EU.

Sector: Aviation

Research Assistant

Research Assistant at the ENST Computer Science Department. A member of the GRAAL project. The goal of this project was to synthesize correct programs from formal specifications. As leader of the automated deduction part, conceived and implemented an automated theorem prover for Omega logic, an action logic derived from linear logic.

Sector: Universities and higher education institutions

Teaching Assistant

RISC Architecture for Msc.
Computer Science Tools and Languages for Bsc.

Sector: Universities and higher education institutions