| Name | Research Interests | Office | Phone | Homepage | ||
|---|---|---|---|---|---|---|
 |
Hur, Chung-Kil | Software Verification | 301-506 | 1844 |  |
 |
 |
Jung, Kyomin | Machine Learning | 301-1005 | 1973 | |
|
 |
Kim, Chongam | Computational Fluid Dynamics | 301-1307 | 1915 | |
|
 |
Lee, Jaewook | Statistical Analysis, Learning, and Data Mining, Computational Finance | 7176 | 39-402 | |
|
 |
Shim, Hyungbo | Control Theory, Dynamic Systems | 133-302, 301-709 | 6486, 1745 | |
|
 |
Yoo, Hwajong | Number theory, Arithmetic geometry | 220-305 | 9533 | |
|
