New Members: An Assistant Professor, Five Undergraduates, and a Master’s Student

 

We celebrated graduation and welcomed newcomers in March 2024.

 

Yudai Tanabe has joined our group as an assistant professor. He has been a post-doc researcher at Kyoto University after he finished his Ph.D. in our group in March 2023.  Welcome back!

We also welcomed a new master’s course student and five new undergraduates in this spring.

We are now 21 students and 3 faculties; our first mission is to remember each other’s names 😉 .

 

Graduation March 2024

We celebrated graduation of our members. This year, 3 masters and 5 bachelors were awarded their degrees. Three of them left the university while five will continue to work with us to pursuit the next degrees. We wish their bright future no matter where they will be!

Cahyono also received the Tokyo Tech Best Student Award, which awards the best student with excellent academic performance and character among the graduates in the department.

Saito, Tsunoda and Tsuyama received the Master’s degrees and will work as developers in tech companies. Cahyono, Kasuya, Kawazoe, Suda and Taniguchi received the Bachelor’s degrees and will pursuit the Master’s degrees in our group.

High School Students Visited Our Seminar

Around 20 students from Seiryo High School visited to join our group’s seminar. At the seminar, we discussed on a talk on “algebraic effect handlers and their application to game developments,” which was given by one of our members. We had many questions even after the seminar. We hope that the visit was fruitful to know something about research at universities.

PPL 2024 Presentation on “Compilation Semantics for a Programming Language with Versions”

Yudai Tanabe’s work on “Compilation Semantics for a Programming Language with Versions”, co-authored with Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara is accepted by and presented at the 26th JSSST Workshop on Programming and Programming Languages (PPL2024), Category 2 This is a previously published paper presented at APLAS 2023 in Taiwan last November.

👉Project page

(more...)

Poster Presentations at PPL 2024

The following posters were presented at the 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.

(more...)

Five Members Presented Bachelor’s Thesis

Five of our members presented their bachelor’s theses.

  • Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
  • Satsuki Kasuya, Design and Compatibility-Checking Mechanism of a Dynamically-Typed Language That Supports Multiple Versions
  • Hironori Kawazoe, Type-Preserving Translation from A-Normal Forms to Continuation-Passing Forms in a Dependent-Typed Language
  • Taito Suda, Supporting Directed Acyclic Graphs in a Type-Level Shape Checker for Deep-Learning Programs
  • Akane Taniguchi, Formalizing an Object-Oriented Programming Language With Delimited Control
(more...)