ABSTRACT: Verified artificial intelligence (AI) is the goal of designing AI-based systems that have strong, ideally provable, assurances of correctness with respect to formally specified requirements. This talk will review […]
This is a hybrid event with in-person attendance in Levine 307 and virtual attendance on Zoom. ABSTRACT I will describe engineering (im)possibilities discovered with geometry or topology. These provide or […]
Traditionally, the dynamic modeling of chemical processes has relied on first-principles models grounded in fundamental physics and chemistry laws. These models, primarily formulated through differential equations with constant parameters, enable […]
Advances in hybrid and electric vehicle technologies combined with a demand for green initiatives have recently motivated necessary diversification in energy storage research. To achieve customer expectations for hybrid and […]
Abstract Communicating with the brain enables us to advance our understanding of brain function, treat disorders, restore lost function, and when combined with artificial cognitive frameworks, can push the frontier […]
Abstract The physical properties of laser light make it a perfect medium for a plethora of applications. Examples include high-bandwidth data communication thanks to its fast modulation speed, efficient power […]
This is a hybrid event with in-person attendance in Wu and Chen and virtual attendance on Zoom. ABSTRACT Recent advances in robot materials and algorithms have enabled new levels of […]
Solid state spin qubits, in particular the nitrogen vacancy (NV) center in diamond, offer a path towards truly nanoscale imaging of condensed matter and biological systems with sensitivity to single […]
In this talk, I will present our recent efforts in probing the physical processes underlying self-assembly of colloidal gels and crystals. Nano-meter to micron sized particles in suspension can be […]
