We celebrated Rifqi Adlan Apriyadi’s graduation for his Master’s degree. He will work as an engineer at Japanese tech company. We wish him success at his work!
We welcomed Sherif Omar, a Master’s course student at TU Berlin, as an exchange student. He will work on programming environment with natural languages for a year with us. We are excited to work with him again.
To celebrate and welcome the members to go and come, we had a small party on the day of graduation.
Cong will give a talk titled “My Research on Continuations” in the Young Researcher Special Session at JSSST 2023.
Kiuchi and Sakai respectively presents their work on education and computers at the 2023 Annual Conference of the Japan Society for Software Science and Technology (JSSST2023) held at the University of Tokyo and online.
The following presentation has been accepted to Scheme 2023.
The following paper will be presented at FARM 2023, a workshop co-located with ICFP 2023.
A extended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at the Workshop on Type-Driven Development (TyDe 2023).
Professor Rose Bohrer at Worcester Polytechnic Institute visited our group and gave a seminar talk on her work on Homotopy Type Theory for Sewn Quilts. We learned a lot about quilting and how homotopy type theory can help a programming language for quiliting.
Our member presented their master’s thesis.
Cong received the 2023 Tokyo Tech Challenging Research Award for her research project titled “Developing a Typed Programming Language for Ensuring Fuzzy Specifications”.
Yudai Tanabe’s doctoral dissertation “A Programming Language with Versions” was introduced in “the PhD Abstracts” in the Journal of Functional Programming.