School of Engineering
Showing 2,701-2,750 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.
-
Anand Vikas Lalwani
Affiliate, Program-Senesky, D.
BioAnand is a Graduate Student researcher in XLab (advisor: Debbie Senesky).
Anand's research work includes developing and deploying sensors for environmental and energy industries. Sensors developed include techniques for Hall Effect sensors to measure AC magnetic fields, deployable and low cost ammonia sensor for rivers and lakes, CO2 sensors for down-hole applications.
Anand's interests outside of research include startups and solving problems. Anand is committed to developing technologies that tackle pressing issues and translating work form lab into a startup. -
Monica Lam
Kleiner Perkins, Mayfield, Sequoia Capital Professor in the School of Engineering, Professor of Computer Science and, by courtesy, of Electrical Engineering
BioProfessor Lam's current research interest is to create effective and reliable AI assistants to accelerate the discovery of knowledge. Her OVAL lab has created numerous open-source LLM-based tools used by consumers, historians, and journalists in their work; currently, she is focusing on research assistants that can discover new insights for biomedicine and other technical areas.
Professor Lam's team has created the first quantifiably factual and engaging conversational agent, which has won the Best Research of the Year Award from Wikimedia Foundation; pioneered deep research agent called STORM that has been used by about a million users; developed the best-performing agent for retrieving knowledge from hybrid sources, including databases, knowledge graphs, and free-text, currently deployed at Wikimedia; created an agent framework that produces fluent task-oriented agents that do not hallucinate.
Prof. Lam is also an expert in compilers for high-performance machines. Her pioneering work of affine partitioning provides a unifying theory to the field of loop transformations for parallelism and locality. Her software pipelining algorithm is used in commercial systems for instruction level parallelism. Her research team created the first, widely adopted research compiler, SUIF. She is a co-author of the classic compiler textbook, popularly known as the “dragon book”. She was on the founding team of Tensilica, now a part of Cadence.
Dr. Lam is a Member of the National Academy of Engineering and an Association of Computing Machinery (ACM) Fellow.
