#Introduction Hey 🐘, I'm Loïc, a French researcher at LaBRI, computer science lab of the University of Bordeaux.
My research is at the intersection of #FormalMethods and #SystemsBiology, where we struggle to formalize biological questions and data.
I'm working on #BooleanNetworks, how they are adequate to abstract quantitative systems, how to infer them, how to verify and control them. This also involves some software development, and very importantly, exciting #interdisciplinary challenges!
#introduction #FormalMethods #SystemsBiology #BooleanNetworks #interdisciplinary