About Me

Welcome! I am Tadayoshi Kamegai, a 4th year undergraduate student at Merton College, University of Oxford studying mathematics and computer science. My general interests lie in Type Theory and surrounding fields.

I'm currently looking for PhD positions related to Type Theory. If you have any recommendations, please feel free to reach out to me at [firstname].[lastname]@merton.ox.ac.uk.

This summer I worked as an intern at ELTE under Ambrus Kaposi on works related to GATs. I'm also working as a Research Assistant under Nobuko Yoshida (officially employed in summer 2024 and spring 2025) in the Mobility Reading Group at Oxford, mechanising the metatheory of session types in Coq. My Master's thesis will be on linear logic in dependent type theory with Maximilian Doré. You can usually see what kind of work I've been reading by visiting my notes page.

Outside studies, I enjoy travelling and taking photos. I grew up in Osaka, Japan before moving to the UK in 2022 for university, where my off-term address is currently.

I originally created this web template in September 2025, to make a clean portfolio for myself. This site itself was launched July 2022. For details on how this site functions, you can see the first blog on this page.