Dr. Hubert Garavel is a part time member of the chair for Dependable Systems and Software, supported by a Gay-Lussac Humboldt Research Award.