 |
Uluç Saranli, Assistant Professor
Ph.D., Computer Science: Intelligent Syetems, University of Michigan, Ann Arbor, 2002, Formal methods for robot programming, analysis and control of legged locomotion, dynamically dexterous robot behaviors, applications of formal logic and type theory to robot motion planning, physically realistic simulation.
|
|
