Sung Kook Kim, a third-year Ph.D. student in the Computer Science department advised by assistant professor Aditya Thakur, was awarded the Radhia Cousot Young Researcher Best Paper Award at the 27th Static Analysis Symposium (SAS 2020) for his paper, "Memory-Efficient Fixpoint Computation."