livio.bioglio (at) inserm.fr
Livio Bioglio received his Master of Science in Computer Science in July 2009 at the University of Turin, Department of Computer Science (Italy), and his PhD in Science and High Tecnology (Computer Science area) in March 2013, in the same Department, with the thesis "Type Disciplines for Systems Biology", where he proposes several Type Disciplines for the description of biological properties, in order to semplify the theoretical model. Since november 2013 he is post-doctoral fellow at EPIcx Lab, working on computational epidemiology.
During his PhD studies he focused on Type Theory, and theoretical modeling of biological systems; other research activities concerned Automated Theorem Proving with proof assistant tools, and High Performance Computing on multicore systems. His currently researches involve epidemiology, in particular the implementation of computational models for the study of the spread of influenza in a realistic population.