• [인턴모집공고] 계산이론 연구실에서 겨울방학 인턴을 모집합니다.
  • We have one paper accepted for EMNLP 2023 and two papers accepted for EMNLP-Findings 2023. Congrats to all co-authors!
  • We have two papers accepted for CIAA 2023; M-equivalence of Parikh Matrix over a Ternary Alphabet and Smaller Representation of Compiled Regular Expressions. Well done, Joonghyuk, Hyunjoon and Sicheol! Keep pushing.
  • 휴먼-AI 협업 프로그래밍 플랫폼 과제 2단계가 시작되었습니다. 기간은 2023.03 ~ 2026.02 입니다.
  • We have one paper accepted for DCFS 2023; Existential and Universal Width of Alternating Finite Automata. This is joint work with Prof. Salomaa (Queen's, Canada) and Prof. Ko (KNU, South Korea).
  • We have two papers accepted for DLT 2023; Weak Inverse Neighborhood of Languages and On the Simon's Congruence Neighborhood of Languages. Good job, Hyunjoon and Sungmin! Indeed we are a language research group.
  • Our "Contrastive Learning with Keyword-based Data Augmentation for Code Search and Code Question Answering" paper is accepted for EACL 2023. Congrats Shinwoo and Youngwook.
  • Our "Automated Grading of Regular Expressions" paper is accepted for ESOP 2023. Good job, Youngwook. This is joint work with Prof. Sang-Ki Ko's group from Kangwon National University.


    Contact Information
    Department of Computer Science, Yonsei University
    50 Yonsei-Ro, Seodaemun-Gu, Seoul 03722, Republic of Korea
    Email: emmous [at] yonsei [dot] ac [dot] kr

    Last updated 2023/11/30