Gabriel Kalyon's homepage

I obtained my Master's Degree in 2006 and my PhD in 2010 at ULB. I'm researcher in the Formal Methods and Verification Group of the Computer Science Department at the Université Libre de Bruxelles. My research is centered in the field of formal validation of distributed systems. I am currently working in the team of Prof. Thierry Massart.