From Molecules to Systems: the problem of knowledge representation in molecular biology

Jean Krivine is a CNRS researcher at IRIF (Institut de recherche en informatique fondamentale, Université de Paris). He is interested in fundamental aspects of computer science, mainly models for concurrency, quantitative simulation (stochastic semantics), and formal languages. He is investigating applications of these concepts to highly distributed systems such as block chains, self assembling or transactional systems and molecular interaction networks.