Max Robotics — Global Service Robot Directory + US Certification

About

Michael Genesereth is a pioneer in computational logic and automated engineering, best known for his foundational work in robotics, concurrent engineering, and formal reasoning systems. His research centers on the intersection of artificial intelligence, automated design, and robotic perception. Among his most influential contributions is the development of **Designworld**, an integrated automated engineering system for digital circuits that seamlessly supports the entire product lifecycle—from design and manufacture to maintenance—demonstrating a groundbreaking vision for concurrent engineering. In robotics, Genesereth advanced mobile robot autonomy through a passive vision system for obstacle avoidance using depth from focus, a technique that recovers coarse depth information reliably and efficiently. His work on **assumptive planning and execution** introduced a simple yet powerful robot architecture that integrates planning with real-world execution. With over 100 citations across his key papers, Genesereth’s research has shaped both theoretical frameworks and practical systems in AI and robotics. A professor at Stanford University, he continues to influence generations of researchers in logic-based AI and automated reasoning.