Position

Researcher at Inria, France
Former member of SUMO Inria project team: Supervision of large modular and distributed systems.
Retired from 01/01/2023

Research Areas

• Formal models of concurrent systems.
• Petri net synthesis.
• Verification of opacity for dynamic systems and for workflows.
• Theory of interfaces.
• Artifact-centric collaborative systems.

Academic and Administrative Responsabilities

• Head of the Computer Engineering Department, Ecole Nationale Supérieure Polytechnique de Yaoundé (ENSP), Cameroon, from 1999 to 2003.
• Secretary of CARI Permanent Committee.
  CARI is the African Conference in Computer Science and Applied Mathematics.
• co-Editor in Chief of ARIMA Journal.
  ARIMA is the African journal on research in Computer Science and Applied Mathematics.
• Scientific Officer for the African and Middle-East region at Inria European and International Partnerships Department
• Inria Director of LIRIMA.
  LIRIMA is the Inria International Laboratory in Africa
• Member of the executive board of SARIMA.
  SARIMA is a GIS ("groupement d'intérêt scientifique") supporting research activities in mathematics and computer science in sub-Saharian Africa.

Projects and Collaborations

1992--1996: European Science Project Mask (Mathematical Structure for Concurreny). Coordinators: Jaco de Bakker and Jan Rutten.

1994--1997: European HCM Cooperation Network Express (Expressiveness of Languages for Concurrency). Coordinators: F.W Vaandrager and J.F Groote.

2003--2005: French-Polish Collaboration with IPIPAN, Gdansk.

2006--2010: European project SPEEDS SPEculative and Exploratory Design in Systems engineering.

2008--2011: European project COMBEST COMponent-Based Embedded Systems design Techniques.

2009--2015: Lirima Team ALOCO Architectures logicielles à composants.

2016--2020: ANR HEADWORK Processus massivement participatifs d'acquisition de données et de connaissances.