As I will soon leave Inria, I need a new place to host my personal web page. After many hesitation, I settled for a simple page on GitHub, using Jekyll as a CMS. More info here
As I will soon leave Inria, I need a new place to host my personal web page. After many hesitation, I settled for a simple page on GitHub, using Jekyll as a CMS. More info here