Welcome to my personal website. I am Kai, a 2024 graduate of the University of Glasgow with a BSc degree in computer science. Currently, I finished a summer intern at StarDust team.
Contact
I am a enthusiast with a deep interest in behavioral type systems and concurrent programming, and software development, particularly in Java, Spring Boot, and SQL. My curiosity and desire to explore the field led me to develop a profound love for coding. My recent work includes a summer internship where I used the Erlang language to further deepen my understanding of Types.
This website serves as a space to share my projects, research interests, and insights.
With a strong foundation in computer science and hands-on experience in tackling complex challenges, I have consistently contributed to innovative projects.