face

Blaise GENEST

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

 

 

 

 

 

 

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


PhD Students:

Subrat Prasad Panda (2023+, NTU). Trustworthy Decision Making.
Eduardo Do Conto (2023+, NTU). Methodology for Hybrid Twin Design, Validation and Integration.
Ali El Husseini (2023+, NUS). Trustworthy LLMs for code generation.
Xiang Fang (2022+, NTU). Out of Distribution Object and Action Detection.

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


    • Lead Architects of Tools:

    DTSemNet

    DBNizer

    INFERNO


    Projects:

    DesCartes
    co-Director
    Singapore's CREATE Program    		 descartes
    SAIF
    Member
    ANR-23-PEIA-0006    		 ANR



    MAVeriQ
    Member
    ANR-20-CE25-0012    		 ANR


  • Former projects:

    CEFIPRA EQUAVE

    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:

    FSTTCS'24.

    ATVA'24.

    CONCUR'22.

    FMAI'21.

    FMAI'19

    ATVA'17.

    ICE'08.


    Schools:

    DesCartes School'24 Co-Organizer

    DesCartes School'23 Co-Organizer

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


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