face

Blaise GENEST

CNRS Researchor (CR1)
in Computer Science at IPAL
UMI CNRS (Unité Mixte Internationale)
Institute for Infocomm Research (I2R)
1 Fusionopolis Way
#21-01 Connexis (South Tower)
      Singapore 138632
also associated with
IRISA in Team Distribcom
Campus de Beaulieu
F-35042 Rennes Cedex
            France
Phone: +33 (0)2 99 84 75 13
Fax:     +33 (0)2 99 84 71 71











  • My resume in En | Fr

  • Research interests

    Automata, Complexity and Logic, Automated Verification, Message Sequence Charts, Games Theory,
    Hierarchical Structures, Pattern Matching, Hardware Architecture, Data Bases, BioInformatics.

  • Publications

    ( some words about rankings )


  • Teaching/Enseignement

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

  • Elected Member of the Comité National de la Recherche Scientifique, section 07 and CID 43, 2008-2012

    ( website of the section 07 )




    Projet DOTS
    ANR-06-SETI-xxx.
    ANR



    Associated Team DST
    Funded by INRIA
    Projet Docflow
    ANR-06-MDCA-005.
    ANR



    Projet ActiveDoc
    Funded by CREATE (Bretagne)