Four new students have joined SD Lab and JAXA Lab

Following four master’s course students have joined the Software Design and Analysis Lab and High Reliability Software System Verification Lab. Welcome!

  • Akihito Ihara (SD Lab)
  • Fukumoto Daisuke (SD Lab)
  • Murakami Kyoya (SD Lab)
  • Shuhei Kayawari (JAXA Lab)