face

Blaise GENEST

CNRS Senior Researcher (DR2, HdR)
in Computer Science at
CNRS@CREATE (UAR 2001 SPICES) as
co-director of Programme DesCartes ,
1 Create Way, #08-01 Create Tower
Singapore 138602
           
email: blaise.genest@cnrsatcreateXXXREMOVEXXX.sg
also associated with IRL 2955 IPAL
Institute for Infocomm Research (I2R)
1 Fusionopolis Way
#21-01 Connexis (South Tower)
      Singapore 138632

 

 

 

 

 

 

I am also Adjunct Professor in School of Computing, National University of Singapore (NUS).

I was Adjunct Associate Professor there earlier as well (2011-2013).

My resume in FR | EN

Research interests:

My research focus lies at the interface of Formal Methods and Artificial Intelligence (AI):
I analyze AI tools using formal methods to develop trustworthy AI, and vice-versa,
I develop formal techniques that uses AI tools to efficiently handle large systems.
Stochastic Models: Markov Chains, MDPs, DBNs, Rabin's Probabilistic Automata, Populations.
Applications: Systems Biology, Multi-level systems, Security.
Background: Automata and Verification, Distributed Systems, Games Theory.

Publications

( some words about rankings )


PhD Students:

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


Projects:

DesCartes
co-Director
Singapore's CREATE Program
descartes

MAVeriQ
Member
ANR-20-CE25-0012
ANR



EQUAVE
Member
CEFIPRA-INRIA Associated Team
ANR


  • Former projects:

    ANR Project Stoch-MC (Primary Investigator).

    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:

    CONCUR'22.

    FMAI'21.

    FMAI'19

    ATVA'17.

    ICE'08.


    Schools:

    DesCartes School'23 Co-Organizer

    DesCartes School'22 Co-Organizer and giving the course "On shortcomings of Learning" .


    Tools:

    DBNizer and INFERNO (lead architect).


    Workshops:

    FMAI'19 2sd international Workshop on Formal Methods and AI (organizer, steering comittee and PC member).

    ASSTABIO (organizer).


    Working group on Formal Methods and AI:

    MeFIA (organizer).


    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).