Graduation March 2023

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

Izawa received the PhD degree and will work as a researcher in a global company. Tanabe also received the PhD degree and will work as a post-doctoral researcher at Kyoto University. Ikemori received the Master’s degree and will pursuit the PhD degree in our group. Furudono and Takahashi also received the Master’s degrees and will work as a researcher/developer in tech companies. Kiuch and Sakai received the Bachelor’s degrees and will pursuit the Master’s degrees in our group.

Poster Presentations at PPL 2023

The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.

(more…)

Kiuchi and Sakai Presented Bachelor’s Theses

Our members presented their bachelor’s theses. 

Ikemori, Furudono and Takahashi present Master’s Theses

Our members presented their master’s theses.

  • Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
  • Naoya Furudono, Formalizing Differential Execution
  • Shusuke Takahashi, Implementation of Live Programming Environmnet Based on Differential Execution Using Evaluation History