Stanford University
Showing 2,731-2,740 of 5,950 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.