Building a state-of-the-art program optimizer, synthesizer, or verifier is still a gargantuan task for even programming language (PL) experts. Much of this challenge stems from the fact that term rewriting, […]
Launched in May 2021, the Future Leaders in Mechanobiology is a monthly seminar series featuring up-and-coming leaders in mechanobiology–PhD students and postdocs from a wide range of fields, backgrounds, and institutions. By […]
ABSTRACT: Building robust decision making systems for autonomous systems is challenging. Decisions must be made based on imperfect information about the environment and with uncertainty about how the environment will […]
This is a hybrid event with in-person attendance in Levine 307 and virtual attendance via Zoom. This week's presenter will be in-person as well. ABSTRACT While it is tempting to […]
As nanotechnology plays essential parts in developing of high performance or new concepts of electrical and optical devices, new class of nanomaterials has emerged to beat conventional optical and electronic […]
Providing safety and performance guarantees for motion planning and control algorithms is a well-studied problem for robotic systems with well-known dynamics that operate in structured environments. However, when robots operate […]
This is a hybrid event with in-person attendance in Wu and Chen and virtual attendance via Zoom. This week's presenter will be in-person as well. ABSTRACT New Horizons Studio […]
Spring 2023 Hybrid-Seminar Series Mondays 1.00-2.00 pm (EST) Towne 225 / Raisler Lounge “For Zoom link, please contact <manu@seas.upenn.edu>”
Many human health problems are associated with alteration of tissue mechanics and often require mechanical stimulation to promote the healing process. While it is now well established that the mechanics […]
