I’m studying computer science at ELTE. And I am a member of the Budapest Type Theory Group!
In this semester, I am still a demonstrator of functional programming and I am doing my internship with Ambrus Kaposi implementating something about QIIT in Cubical Agda.
My research interests include functional programming, type theory… I am eager to learn abstract interpretation!
🪐 Experience
- 2024.07 Utrecht Summer School - Advanced Functional Programming in Haskell, student.
- 2024.06 PLDI 2024, volunteer.
- 2024.05 TDK-ELTE IK, participant with third prize. I presented my first work : There is no finite model in SK combinator calculus.
- 2024.04 MGS 2024, student.
- 2024.01 POPL 2024, participant.
- 2023.09 Functional Programming-ELTE Faculty of Informatics, demonstrator.
- 2023.08 ESSLLI23-34TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION, participant.
- 2023.07 Deep Learning Summer School-Neuromatch Academy, student.
💻 Internships
👾 Projects
Type Theory
🎖 Honors and Awards
- 2022.09 Stipendium Hungaricum Scholarship.
- 2018.09 High school full scholarship.
📖 Educations
- 2022.09 - 2025.06 (ongoing), Computer Science BSc, Eötvös Loránd University, Budapest.
- 2021.09 - 2022.06, Computer Science, Jiangxi University of Science and Technology, Ganzhou.
- 2018.09 - 2021.06, High School, Ganzhou WenQing Foreign Languages School, Ganzhou.
💡 Translations
Many thanks to the members of the Thoughts Memo group for proofreading! Special thanks to Jarrett Ye!