お知らせ 宮地研究室 Xiaolong LiuさんがICINT2022でベストプレゼン賞を受賞
電気電子情報通信工学専攻・宮地研究室の卒業生、Xiaolong Liuさん（博士前期課程修了）が7th International Conference on Information and Network Technologies (ICINT 2022)にて「Design and Implementation of Session Types-based TCP and Unix Domain Sockets」を発表し、「ベストプレゼンテーション賞」を受賞しました。
本国際会議は産学官の研究者、技術者が情報・ネットワーク技術の新しいアイデア・進歩・成果を共有することを目的とし、本賞は優秀な発表をした学生に対して授与されるものです。
指導教員から：ディジタル化の進展に伴い、ソフトウェアの通信の信頼性が重要になっています。しかし、同期型並行通信データ相互作用プロトコルを記述・実装する標準的手法は確立されておらず、適切な型安全が実現できずに、型エラーを起こす危険性があります。本研究は、型安全で効率的なプロセスの並行通信プロトコルの実現を可能にし、安全なデータ通信における貢献は非常に大きいと思われます。