Sungjun Kim
|
|
|
| Courseworks (GPA: 4.0/4.0) |
|
|
|
2009 Spring: - COMS W4118 Operating Systems, I, by Prof. Junfeng Yang - COMS W4701 Artificial Intelligence, by Prof. Salvatore J. Stolfo 2008 Fall: - COMS W4231 Analysis of Algorithms, I, by Prof. Mihalis Yannakakis - COMS E6998 Topics in Formal Verification, by Dr. Michael Theobald and Dr. Franjo Ivančić 2008 Spring: - COMS W4115 Programming Languages and Translators, by Prof. Alfred V. Aho - CSEE W4840 Embedded Systems Design, by Prof. Stephen A. Edwards |