A. Arnold

1945

• Construction and analysis of transition systems with MEC
• ESWT and ultrasound imaging of the musculoskeletal system
• Finite transition systems
• Mathematics for computer science
• Rudiments of [mu]-calculus
• Caap '90
• Mathématiques pour l'informatique