93rp.doc - Stanford Computer Science and Electrical Engineering
machine learning, mathematical theory of computation, program synthesis and
..... Division, Docteur-Ingenieur Grenoble, 1972; Docteur d'Etat Grenoble, 1977.
.... languages, as well as experimental robotic applications intended to test the .....
RESEARCH: Specification and verification of finite-state concurrent systems.