face

Blaise GENEST

CNRS Researcher (CR1, HdR)
in Computer Science at
IRISA in Team SUMO
Campus de Beaulieu
F-35042 Rennes Cedex
            France
Phone: +33 (0)2 99 84 73 49
Fax:     +33 (0)2 99 84 71 71
email: bgenest@irisaXXXREMOVEXXX.fr
formerly associated with IPAL (2010-2012)
UMI CNRS (Unité Mixte Internationale)
Institute for Infocomm Research (I2R)
1 Fusionopolis Way
#21-01 Connexis (South Tower)
      Singapore 138632

 

 

 

 

 

 

I was also Adjunct Associate Professor at School of Computing, National University of Singapore (NUS) (2011-2013).

My resume in En | Fr

Research interests:

Developping new Model-Checking Methods for Systems Biology.
Stochastic Models: Markov Chains, MDPs, DBNs, Rabin's Probabilistic Automata, Populations.
Stochastic Systems: Multi-Level Systems, Metabolic Pathways, Population of cells.
Background: Automata and Verification, Distributed Systems, Games Theory.


Publications

( some words about rankings )


Habilitation Manuscript


PhD Students:

Hugo Bazille (2016-). Diagnostic and control of large systems.
Matthieu Pichené (2014-2018). Multi-Level Analysis in Computational System Biology.
Past:
Bruno Karelovic (2013-2017). Quantitative Analysis of Stochastic Systems: Priority Games and Populations of Markov Chains.
Debmalya Biswas (2006-2009). Visibility in Hierarchical Systems.


Tools:

DBNizer and INFERNO (lead architect).


Workshop:

ASSTABIO (organizer).


Projects:

STOCH-MC
(Primary Inverstigator)
ANR-13-BS02-0011-01.
ANR

EQUAVE
CEFIPRA-INRIA Associated Team



  • Former projects:

    PEPS INSIS (CNRS) Projet AABS (Primary Investigator).

    Projet ActivDoc Funded by CREATE, Region Bretagne (WorkPackage Leader).

    ANR-06-MDCA-005 DOCFLOW, (WorkPackage Leader).

    Associated Team DST Funded by INRIA.

    ANR-06-SETI-xxx DOTS.

  • PC Member:

    ATVA'17.

    ICE'08.


    Invited Talks


    I was Elected Member of the Comité National de la Recherche Scientifique, section 07 (now section 06 and 07) and CID 43 (now CID 51), 2008-2012

    ( I am not serving there anymore, but the new websites are website of the section 06 and website of the section 07 )


    Teaching/Enseignement

    Model Checking of Complex Systems (10h/year, Lecture, Master 2 in Rennes, 2015-2018)
    Models of Concurrency (5h, Lecture, Master 2 in Rennes,2006-2007).
    Verification (4h, Lecture, 4th year in Warwick,2005).
    Programming in Java (42h, TP, DEUG 1,2003-2004).
    Hardware Architecture (36h, TD, IUP 1, 2003-2004).