Keun Sup Shim works on design verification for Anton. He holds an M.S. and a Ph.D. from MIT, and a B.S. from the Korea Advanced Institute of Science and Technology (KAIST), all in electrical engineering and computer science. His research focused on computer architecture, memory architecture and cache coherence, many-core designs, on-chip networks, and parallel computing. In his spare time, Keun Sup enjoys watching/playing baseball and drinking wine.