School of Engineering
Showing 2,761-2,780 of 6,015 Results
-
Taesoo Kwon
Visiting Professor, Electrical Engineering
BioTaesoo Kwon is a Professor in the Department of Computer Science and Engineering at Seoul National University of Science and Technology (SeoulTech), Seoul, South Korea. He received his B.S. (2001), M.S. (2003), and Ph.D. (2007) degrees in Electrical Engineering from KAIST. He is currently on sabbatical leave as a Visiting Professor in the Department of Electrical Engineering at Stanford University (2026–2027). His research applies stochastic geometry to the modeling and performance analysis of wireless networks, with a current focus on AI-enabled networks and the optimization problems that arise in them.
-
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.
