Hi. My name is June Lo / Lo̍h Ka-tsùn / Lo Chia-Chun.
I am a PhD student in Pure Mathematics at King's College London under the supervision of Jean Lagacé. Before this, I studied at Imperial College London.
Publications
Talks, teaching & related activities
I am helping to organise the 2025 cycle of the KCL Analysis Seminar.
I have delivered a few talks about my research. Since 2022 I have also been working as a graduate teaching assistant in the department. See details here.
Programming
I write code from time to time.
-
Lean
mathlib
contributions. From around 2018–2021 I learnt about the Lean theorem prover and made some contributions to the community math library, including some results about normed vector spaces and topological dynamics. -
The
pgf-easing
package. In 2019 I put together a cursed contraption for animating in TeX for a summer project; some of the code eventually made its way onto CTAN.
I have migrated away from github, but some of my old projects can still be found on my profile page there.
Other activities
I was editor for the Imperial College Sci-Fi & Fantasy Society for two years, and helped produce the newsletter and annual fanzine for an additional year in 2021. I don't know if the publications page will ever be back up at icsf.org, but there is a copy of the archives here.
Miscellaneous
-
What's with the name(s)?
I am Taiwanese. The family name is Lo, the given name is Chia-Chun. My personal preference is to give them in that order, except when appearing in a list that already adopts the opposite convention. Sometimes the name is rendered instead as Lo̍h Ka-tsùn, with or without the diacritics; this is the romanisation of the Taigi, rather than Mandarin, pronunciation of the same characters.
After moving to London, I took an English-language name, hoping that it would be easier to remember and pronounce for English speakers. Besides, the romanisation situation was a bit of a mess anyway and I thought this was an opportunity to choose a name that approximated the pronunciation better. These days I spell it June, though some older material—such as my
mathlib
contributions and editor's comments for Wyrmtongue—was written under the name Jean Lo.