정대룡
Research Automating vulnerability detection Reproducing and diagnosing system failures Mitigating attacks and hardening systems Formally verifying security properties of systems Education Ph.D. in School of Computing, KAIST (2023) M.S. in School of Computing, KAIST (2016) B.S. in Dept. of Computer Science, KAIST (2014) Appointments 2025 – Present, Assistant professor, Dept. of Computer Science and Engineering, […]
허충길
Research Programming Languages in general. Specifically: Software Verification (Program Logic & Compiler Correctness) Relaxed Memory Concurrency Semantics of Low-level Languages (LLVM, C/C++, Rust) Interactive Theorem Proving Probabilistic Programs & Bayesian Inference Category Theory Education 10.2004 ~ 10.2009 : Ph.D. in Computer Science at University of Cambridge (Supervisor: Marcelo Fiore). 03.1995 ~ 02.2000 : B.S. in […]
이종호
Research Imaging science, Image processing AI for Biomedical Imgaging Education Feb. 1998 Seoul National University, ECE, B.S Jun. 2004 Stanford University, EE, M.S Jun. 2007 Stanford University, EE, Ph.D Appointments 2014 ~ Present, Professor, Department of Electrical and Computer Engineering, Seoul National University 2010 ~ 2014, Assistant Professor, Department of Radiology, University of Pennsylvania 2007 […]
서종모
Research Neural Interface, Biomedical Engineering Education 1990 ~ 1996, MD, Seoul National University School of Medicine 2000 ~ 2002, MS, Biomedical Engineering, Seoul National University School of Medicine 2002 ~ 2005, PhD, Biomedical Engineering, Seoul National University School of Medicine Appointments 1996 1997 Intern, Seoul National University Hospital 1997 1998 Research assistant, Seoul National University […]
정유성
Research AI & Computational Chemistry Education Ph.D., Chemistry, University of California at Berkeley, 2005 M.S., Chemistry & Applied Mathematics, Iowa State University, 2001 M.S., Chemistry, Seoul National University, 1999 B.S., Oceanography, Seoul National University, 1997 Appointments 2023.03 – present: Professor, Seoul National University 2018.03 – 2023.02: Professor, KAIST 2012.09 – 2018.02: Associate Professor (tenured in […]
이창건
Research Real-Time and Embedded System Architecture Real-Time Communications QoS Management in Control Applications, Multimedia Systems, and Web Servers Satellite and Mobile Communications Wireless Sensor Networks Real-Time Ubiquitous Systems Education Ph.D. in Computer Engineering, Seoul National University, 1998 M.S. in Computer Engineering, Seoul National University, 1993 B.S. in Computer Engineering, Seoul National University, 1991 Career During […]
이제희
Research Physical AI Anatomical human body modeling and simulation Biological simulation and control Computer graphics Education 2000, Ph.D. in Computer Science, Korea Advanced Institute of Science and Technology (KAIST) 1995, M.S. in Computer Science, Korea Advanced Institute of Science and Technology (KAIST) 1993, B.S. in Computer Science, Korea Advanced Institute of Science and Technology (KAIST) […]
이정우
Research Machine learning Deep learning and reinforcement learning Communication theory and signal processing Education Ph.D in electrical engineering from Princeton University, 1994 M.S.E in electrical engineering from Princeton University, 1990 B.S. in electronics engineering from Seoul National University, 1988 Appointments Visiting faculty, Center for Data Science, NYU, New York, USA, 2023 Visiting faculty, Cedric Laboratory, […]
권태경
Research Future internet architecture Information-centric networking Peer-to-peer Mobile/wireless networking Multimedia streaming Education Aug. 2000: Ph.D., School of Computer Science and Engineering, Seoul National University Feb. 1995: M.S., Dept. of Computer Engineering, Seoul National University Feb. 1993: B.S., Dept. of Computer Engineering, Seoul National University Appointments 2013 – Present: Professor, Seoul National University Apr. 2008 – […]
국종성
Research Mechanism for climate changes, Ocean-Atmosphere Interaction and El Nino, Bio-Geochemical Processes, High-impacts climate event, Climate modeling and Prediction Education 2003, Ph-D., School of Earth and Environmental Sciences, Seoul National University 2000, M. S., Atmospheric Sciences, Seoul National University 1998, B. S., Atmospheric Sciences, Seoul National University Appointment 2024.3-Present, Professor, Seoul National University 2019-2024.2, Full […]
