One thing that quickly becomes clear when attempting to formalize recent mathematical discoveries in a computer proof assistant is how much "invisible mathematics" is obscured in a proof on paper. This talk will attempt to present a taxonomy of the various forms of invisible mathematics that have been made visible by attempts to formalize higher […]
Abstract: Electrocatalysis has the potential to enable sustainable chemical infrastructures via the generation of commodity chemicals such as hydrogen, hydrocarbons, and ammonia with renewable energy, but electrochemical devices such as electrolyzers often exhibit inadequate activity and stability for these transformations due to poor catalyst performance for the oxygen evolution reaction (OER). The Moreno-Hernandez Laboratory specializes […]
Mathematics professor Lillian Pierce will share her work with the group and answer questions about her research. All are welcome! Lunch provided.
We have witnessed an explosion in the capabilities of foundation models and artificial intelligence to reason and generate content in the digital domain. Despite these advancements, there still exists a fundamental disconnect between their intelligence and our everyday physical environments. To bridge this gap and create truly ubiquitous intelligent environments that are capable of supporting […]
In this seminar, participants will learn about the structure and organization of medical record data, and use the Duke FCAP system to query data and gain hands-on experience with the platform. The Duke Federated Clinical Analytics Platform (FCAP) is a secure and protected environment allowing access to de-identified medical record data. The seminar will be […]
Engineering bridges science and technology, driving innovation for the benefit of people and society. Today we live in an increasingly technology-dependent world shaped by engineers - and the pace of change is increasing exponentially. This calls for a reexamination of how we educate and empower engineers to advance technology for the long-term welfare of humanity […]
Smarter Skies, More Resilient Systems: The Future of Commercial Aviation The National Academy of Engineering Regional Event at Duke University will convene leading experts from industry, government, and academia to explore next-generation challenges and solutions in aviation, including: Climate and weather-related considerations Innovation and emerging technologies Air traffic control and operational advancements Registration is required
The rapid proliferation and diffusion of large language model driven agentic inference continue to fuel an unprecedented demand for semiconductors for high-performance compute. Addressing this compute demand goes beyond just CMOS logic transistor scaling and requires a system-driven rethink of semiconductor research. In this talk, we explore emerging semiconductor technology pillars essential for the next […]
A 6 eV bandgap crystal used to be a textbook example of an electrical insulator. But today it has become possible to make pn diodes, transistors, LEDs, and lasers with ultrawide bandgap nitride semiconductors. In the first part of my talk, I will discuss how over the last 25 years, we have discovered a powerful […]
AlN has been ardently pursued as one of the most promising ultra-wide bandgap semiconductors (UWBGs) after GaN and SiC as the industry has been expanding rapidly on the high-volume manufacturing of GaN and SiC based technologies, including 12-inch GaN-on-Si, 8-inch SiC substrates and processing foundries etc. In this talk, I will present the findings in […]
Human health changes continuously through movement, speech, sleep, behavior, and environment, yet most medical AI still relies on episodic clinical measurements and retrospective records, missing how disease risk and functional decline emerge in everyday life. In this talk, I will show how this agenda spans a continuum from what people do, to what happens inside […]
: Immersive computing is emerging as a new computing paradigm that enables applications in domains such as healthcare, education, and training. However, developing practical immersive systems remains challenging due to the massive data volume of 3D content and the stringent latency and reliability requirements of interactive applications. In this talk, I will present my research […]
