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 was affiliated with IRISA in Team SUMO (2013-2022),
and also Adjunct Associate Professor at School of Computing, National University of Singapore (NUS) (2011-2013).
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 )
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.
|
|
|
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).