Select a calendar:
Filter July Events by Event Type:
Conferences, Lectures, & Seminars
Events for July
-
Photonics Seminar - Miguel Gonzalez Herraez, Tuesday, July 2nd at 9:30am in EEB 248
Tue, Jul 02, 2024 @ 09:30 AM - 11:00 AM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Miguel Gonzalez Herraez, University of Alcala, Madrid, Spain
Talk Title: Observing the deep oceans using submarine optical fibre cables
Series: Photonics Seminar Series
Abstract: Currently, submarine fibre-optic cables carry more than 98% of the international data traffic, dwarfing the amount carried by satellites. In this talk I will show that these essential infrastructures for communications also show potential for geophysical monitoring in the bottom of the oceans, where the sparsity of geophysical instrumentation is nowadays hampering efforts to quantify extremely important phenomena in our planet and climate change such as e.g. water mixing and stratification. The deployment and maintenance of a larger and denser network of traditional offshore sensors, which would be needed to produce more accurate estimations of climate change models, poses an important economic barrier that has so far proved unsurmountable. I will show that submarine optical fiber cables can be used, with no essential modification, to monitor sea currents across large distances, and also to obtain more accurate observations of water mixing phenomena occurring over tens of kilometers. Among other things, I will show that internal waves, a large-scale phenomenon generated by the interaction of barotropic tides with bathymetric changes in the sea-bottom, can be very accurately observed by deploying chirped-pulse Distributed Acoustic Sensing (DAS) technology over these cables. I will also explain the prospects for using some of these cables for early warning of tsunamis in exposed countries.
Biography: Miguel González-Herráez received the M.Eng. and D.Eng. degrees from the Polytechnic University of Madrid, Madrid, Spain, in 2000 and 2004, respectively. In October 2004, he was appointed Assistant Professor in the Department of Electronics, University of Alcalá, Madrid, Spain, where he was promoted to Associate Professor in June 2006 and later to Full Professor in January 2018. He is the author or coauthor of >150 papers in international refereed journals and >160 conference contributions, and has given >30 invited/plenary talks at prestigious international conferences. His research interests cover the wide field of nonlinear interactions in optical fibers, with particular focus on distributed optical fiber sensing. Prof. González-Herráez has received several important recognitions to his research career, including two European Research Council Grants, the "Miguel Catalan" prize for young scientists given by the Comunidad de Madrid and the "Agustin de Betancourt" prize of the Spanish Royal Academy of Engineering.
Host: Mercedeh Khajavikhan, Michelle Povinelli, Constantine Sideris; Hossein Hashemi; Wade Hsu; Mengjie Yu; Wei Wu; Tony Levi; Alan E. Willner; Andrea Martin Armani
More Information: Miguel Gonzalez Herraez Seminar Flyer.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Marilyn Poplawski
-
CS Seminar: Michael Pradel (University of Stuttgart) - Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code
Fri, Jul 12, 2024 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Michael Pradel, University of Stuttgart
Talk Title: Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code
Abstract: Developer productivity and software quality critically depend on effective software development tools. Traditional, symbolic program analysis tools are often limited in their ability to understand developer intention and rely on various hand-crafted heuristics. Neural software analysis addresses these limitations, but remains unaware of the formal semantics of a program and hence easily misses facts and rules that are actually well known. This talk argues that carefully combining neural and symbolic reasoning provides an effective means to address various challenging software development problems. To illustrate this point, I will describe our 8-year long journey of creating neuro-symbolic developer tools, ranging from learning-based bug detectors and type predictors, to our most recent work on learning-guided execution and program repair based on an autonomous LLM-based agent. I will discuss lessons learned on this journey and conclude with an outline of open challenges waiting to be addressed in order to close the gap between symbolic and neural software developer tools.The talk is based (mostly) on these papers:https://arxiv.org/abs/2302.02343 https://arxiv.org/abs/2403.17134
Biography: Michael Pradel is a full professor at the University of Stuttgart, which he joined after a PhD at ETH Zurich, a post-doc at UC Berkeley, an assistant professorship at TU Darmstadt, and a sabbatical at Facebook. His research interests span software engineering, programming languages, security, and machine learning, with a focus on tools and techniques for building reliable, efficient, and secure software. In particular, he is interested in neural software analysis, analyzing web applications, dynamic analysis, and test generation. Michael has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant by the German Research Foundation (DFG), an ERC Starting Grant, best/distinguished paper awards at FSE (3x), ISSTA, ASE, and ASPLOS, and by being named an ACM Distinguished Member.
Host: Chao Wang
Location: Ronald Tutor Hall of Engineering (RTH) - 115
Audiences: Everyone Is Invited
Contact: CS Faculty Affairs
