School of Engineering
Showing 2,721-2,740 of 5,933 Results
-
Hanna Lachnitt
Ph.D. Student in Computer Science, admitted Autumn 2020
BioI am a fourth year PhD student advised by Clark Barrett and part of the CENTAUR lab at Stanford University. My research interests lie in automated reasoning and formal verification. I am currently working on proofs for SMT solvers.
-
Ching-Yao Lai
Assistant Professor of Geophysics
BioMy group attacks fundamental questions in fluid dynamics and geophysics by integrating mathematical and machine-learned models with observational data. We use our findings to address challenges facing the world, such as advancing our scientific knowledge of ice dynamics under climate change. The length scale of the systems we are interested in varies broadly from a few microns to thousands of kilometers, because the governing physical principles are often universal across a range of length and time scales. We use mathematical models, simulations, and machine learning to study the complex interactions between fluids and elasticity and their interfacial dynamics, such as multiphase flows, flows in deformable structures, and cracks. We extend our findings to tackle emerging topics in climate science and geophysics, such as understand the missing physics that governs the flow of ice sheets in a warming climate. We welcome collaborations across disciplinary lines, from geophysics, engineering, physics, applied math to computer science, since we believe combining expertise and methodologies across fields is crucial for new discoveries.
-
Sanjay Lall
Professor of Electrical Engineering
BioSanjay Lall is Professor of Electrical Engineering in the Information Systems Laboratory and Professor of Aeronautics and Astronautics at Stanford University. He received a B.A. degree in Mathematics with first-class honors in 1990 and a Ph.D. degree in Engineering in 1995, both from the University of Cambridge, England. His research group focuses on algorithms for control, optimization, and machine learning. Before joining Stanford he was a Research Fellow at the California Institute of Technology in the Department of Control and Dynamical Systems, and prior to that he was a NATO Research Fellow at Massachusetts Institute of Technology, in the Laboratory for Information and Decision Systems. He was also a visiting scholar at Lund Institute of Technology in the Department of Automatic Control. He has significant industrial experience applying advanced algorithms to problems including satellite systems, advanced audio systems, Formula 1 racing, the America's cup, cloud services monitoring, and integrated circuit diagnostic systems, in addition to several startup companies. Professor Lall has served as Associate Editor for the journal Automatica, on the steering and program committees of several international conferences, and as a reviewer for the National Science Foundation, DARPA, and the Air Force Office of Scientific Research. He is the author of over 130 peer-refereed publications.
