Click here for a full pdf copy of my CV
Education
2022-In Progress
Ph.D. Candidate in Theoretical Computer Science
Yonsei University
Advisor: Prof. Yo-Sub Han
Expected graduation: August 2026
2017-2021
B.A. in English Language and Literature / B.S.E. in Computer Science (double major)
Yonsei University
Research experience
Summer 2023
Visiting reaserch at the University of Göttingen, 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
Undergraduate research intern at ToC lab
Publications
Conference papers
- S. Kim, H. Jin and Y.-S. Han. “Pattern matching under R-congruence”, CIAA 2026.
- S. Kim, H. Hong, T. Lim, Y.-S. Han and K. Salomaa. “Decomposing regular languages under shuffle along trajectories”, CIAA 2026.
- S. Kim and Y.-S. Han. “Pattern Mining Under Simon’s Congruence”, DLT 2025.
- 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
- P. Fleischmann, S. Kim, T. Koß, F. Manea, D. Nowotka, S. Siemer, and M. Wiedenhöft. “Matching Patterns with Variables Under Simon’s Congruence”, accepted.
- Y.-S. Han, S. Kim, S.-K. Ko, and K. Salomaa. “Existential and Universal Width of Alternating Finite Automata”, Information and Computation 2025.
- S. Kim and Y.-S. Han. “Approximate Cartesian tree pattern matching”, Theoretical Computer Science 2025.
- S. Kim, S.-K. Ko, and Y.-S. Han. “Simon’s Congruence Pattern Matching”, Theoretical Computer Science 2023.
- S. Kim, Y.-S. Han, S.-K. Ko, and K. Salomaa. “On Simon’s Congruence Closure of a String”, Theoretical Computer Science 2023.
Awards and Honors
- Highest Honors at Graduation (Undergraduate), February 2022
- Performance and merit awards / scholarships during BA/BSE studies
Talks and Presentations
- “3SUM-hard Problems in Computational Geometry”, Yonsei CS Theory Student Group Seminar, December 2024
- “Orthogonal Range Searching”, Yonsei CS Theory Student Group Seminar, October 2024
- “Cartesian Tree Edit Distance”, Yonsei CS Theory Student Group Seminar, July 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
- “Basics of Simon’s Congruence”, Yonsei CS Theory Student Group Seminar, January 2024
- “Shor’s Algorithm”, Yonsei CS Theory Student Group Seminar, October 2023
- “Alternating Finite Automata”, University of Göttingen, July 2023
- “Optimal Auction Design for the Seller’s Auction Design Problem”, Yonsei CS Theory Student Group Seminar, March 2023
- Conferences: DLT’25, DLT’24, DCFS’23, DLT’23, DCFS’22 (online), ISAAC’22
- Workshops: WAAC’24, FWAC’23
Academic Activities and Services
- Reviewer for conferences: DLT / CIAA / DCFS / STACS / ISAAC
- Reviewer for journals: Computer Science Review / Journal of Automata, Languages and Combinatorics / Theoretical Computer Science / International Journal of Foundations of Computer Science
- Co-organized Yonsei CS Theory Student Group Seminars, 2024–today
- Problem author for ICPC regional (Asia, Seoul), 2022–2025
Teaching
Fall 2025
Teaching Assistant
Analysis of Algorithms
Fall 2024
Teaching Assistant
Theory of Computation
Fall 2023
Teaching Assistant
Data Structures
Spring 2023, Spring 2024
Teaching Assistant
Automata and Formal Languages