CIS Seminar: “Formal verification of a concurrent file system”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

This talk will also be onzoom
https://upenn.zoom.us/j/92928358554?pwd=MWdDU0lJRmE3U0hDWUdmU284UmNGZz09
Meeting ID: 929 2835 8554 Passcode: 488035

PICS Colloquium: “Taking a layman’s perspective to turbulence modeling”

PICS Conference Room 534 - A Wing , 5th Floor 3401 Walnut Street, Philadelphia, PA, United States

Abstract: Turbulence is an unsolved problem in classical physics. Its modeling often involves physical, mathematical, and numerical concepts that are daunting to even experienced engineers. This makes it very hard […]

PSOC@Penn Seminar: Keshav Patil

Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia, PA, United States

Physical Sciences in Oncology Center PSOC@Penn Spring 2022 Hybrid-Seminar Series Towne 225 / Raisler Lounge @ Noon (EST) For Zoom link , please contact manu@seas.upenn.edu

MEAM Seminar: “Biomimetic Design of Marine Robots and Sensors”

Zoom - Email MEAM for Link peterlit@seas.upenn.edu

Inspiration from animal function can lead to effective design of engineered systems. Ocean systems benefit especially as operation in a heavy medium such as water imparts significant forces. We provide […]