In this talk, Associate Professor Kress-Gazit will describe recent approaches to automating robot design and programming from high-level specifications. These type of techniques - "synthesis for robotics" - enable novice users to describe at a high-level what a robot should do or accomplish. Synthesis algorithms then either automatically create a correct-by-construction system, or provide feedback to the user across a variety of domains including modular robots, swarms and human-robot interaction. Hadas Kress-Gazit is an Associate Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University. Her research focuses on formal methods for robotics and automation and more specifically on creating verifiable robot controllers for complex high-level tasks using logic, verification, synthesis, hybrid systems theory and computational linguistics. Cornell Initiative for Digital Agriculture (CIDA), a faculty led initiative focused on creating a strong voice in the emerging area of Digital Agriculture (DA), invites Professor Kress-Gazit to present her research for the monthly CIDA Seminar Series.