Click here for a full pdf copy of my CV
Education
2022-In Progress
M.S./Ph.D. Candidate in Theoretical Computer Science
Yonsei University
Advisor: Prof. Yo-Sub Han
2017-2021
B.A. in English Language and Literature / B.S. in Computer Science (double major)
Yonsei University
Research experience
Summer 2023
Visiting reaserch at Göttingen University, Germany
Relevant Publications: Fleischmann et al. 2023
Summer 2022
Visiting reaserch at Queen’s University, Canada
Relevant Publications: Han et al. 2023,Kim et al. 2023
2022 - Present
Researcher at ToC lab
Relevant Publications: Kim et al. 2022,Kim et al. 2022
2020 - 2021
Undergrad research intern at ToC lab
Publications
Conference papers
- S. Kim and Y.-S. Han. “Approximate Cartesian Tree Pattern Matching”, DLT 2024.
- P. Fleischmann, S. Kim, T. Koß, F. Manea, D. Nowotka, S. Siemer, and M. Wiedenhöft. “Matching Patterns with Variables Under Simon’s Congruence”, RP 2023.
- Y.-S. Han, S. Kim, S.-K. Ko, and K. Salomaa. “Existential and Universal Width of Alternating Finite Automata”, DCFS 2023.
- S. Kim, Y.-S. Han, S.-K. Ko, and K. Salomaa. “On the Simon’s Congruence Neighborhood of Languages”, DLT 2023.
- S. Kim, S.-K. Ko, and Y.-S. Han. “Simon’s Congruence Pattern Matching”, ISAAC 2022.
- S. Kim, Y.-S. Han, S.-K. Ko, and K. Salomaa. “On Simon’s Congruence Closure of a String”, DCFS 2022.
Journal papers
- S. Kim, S.-K. Ko, and Y.-S. Han. “Simon’s Congruence Pattern Matching”, TCS 2023.
- S. Kim, Y.-S. Han, S.-K. Ko, and K. Salomaa. “On Simon’s Congruence Closure of a String”, TCS 2023.
Awards and Honors
Highest Honors at Graduation (Undergraduate), February 2022
Talks and Presentations
- “Orthogonal Range Searching”, Yonsei CS Theory Student Group Seminar, October 2024
- “Information Theory in Practice: the JPEG Algorithm”, Yonsei CS Theory Student Group Seminar, May 2024
- “The Rate Distortion Theory”, Yonsei CS Theory Student Group Seminar, April 2024
- “Shor’s Algorithm”, Yonsei CS Theory Student Group Seminar, October 2023
- “Optimal Auction Design: Myerson’s Theorem”, Yonsei CS Theory Student Group Seminar, March 2023
Teaching
Fall 2024
Teaching Assistant
Theory of Computation
Fall 2023
Teaching Assistant
Data Structures
Spring 2023, Spring 2024
Teaching Assistant
Automata and Formal Languages