blaise

Primary tabs

blaise's picture
Blaise Genest
CNRS Research Fellow (CR1), IPAL Research Fellow from 2010 to 2013, Acticve collaborator since 2013

French National Center for Scientific Research (CNRS)

Topics of interest: 

BioInformatics: Metabolic Pathways, Complex Systems.

Automata, Complexity and Logic: Automated Verification, Message Sequence Charts, Games Theory.

Data Bases.

Project(s): 

Projet AABS
PEPS INSIS - Funded by CNRS.

Projet DOTS
ANR-06-SETI-xxx.

Associated Team DST
Funded by INRIA

Login