Members
Christophe Limbrée
Contact Information
Christophe Limbrée |
Office: Réaumur A.151 (1st floor) |
Biography
Christophe Limbrée is a senior railway engineer with more than 20 years experience in railway interlocking. Christophe graduated as a civil engineer in IT (UCL - EPL). He is a part-time Ph.D. inside the LVL under the supervision of prof. Pecheur. His researches concern the development of verification methods for railway interlocking by mean of model checking.
Publications
Talks
Tags: Verification