Short Bio

I joined the ISC department in 2013 as a full-time researcher at the CRP-Gabriel Lippmann Research Center in Luxembourg. As of 2015, the CRP-Gabriel Lippmann merged with CRP-Henri Tudor to become the Luxembourg Institute of Science and Technology (LIST).

Prior to that, I was a post-doc/R&D engineer within the SYNCHRONE team at the VERIMAG laboratory and in a similar position in the ERODS team (former Sardes team) at the Joseph Fourier Computer Science Lab.

I earned my PhD in the Oasis team at the INRIA-Sophia Antipolis research center, supervised by Professor Francoise Baude and co-supervised by Associate Professor Fabrice Huet. I obtained my CS degrees at the

You can find my CV here : CV

Research Interests

  • Distributed systems and algorithms
  • Cloud computing
  • Management systems
  • Applied formal methods (TLA+, Maude, Isabelle)
  • Simulation
  • Distributed Optimization

Contact Info

Email : Let (firstname=francesco,lastname=bongiovanni) in