Colin Thomas

Colin Thomas

PhD in Computer Science

Looking for a job !

My research interests are computer science applied to ecology. My favorite subject is the use of computer science to assist ecosystem management. I believe that computer models can help us better understand ecological successions and community assembly by formalizing their branching behaviour. I am interested in both formal theories and practical applications.

Experience

 
 
 
 
 
[IBISC](https://www.ibisc.univ-evry.fr/) and [AMAP](https://amap.cirad.fr/fr/index.php)
PhD
November 2019 – December 2022 Evry and Montpellier, France
Analysis of state-transition graphs of ecosystems using model-checking

Recent Publications

(2022) Model-Checking Ecological State-Transition Graphs
(2022) EDEN Framework for Interactive Analysis of Ecosystems Models
(2022) Is a Community State Reachable, and Why?