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
- 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
- “The Rate Distortion Theory”, Yonsei CS Theory Study Group Seminar, April 2024
- “Shor’s Algorithm”, Yonsei CS Theory Study Group Seminar, October 2023
- “Optimal Auction Design: Myerson’s Theorem”, Yonsei CS Theory Study Group Seminar, March 2023
Teaching
Spring 2024
Teaching Assistant
Automata and Formal Languages
Fall 2023
Teaching Assistant
Data Structures
Spring 2023
Teaching Assistant
Automata and Formal Languages