受賞日： 2018年1月2日
氏名： 蓑田 玲緒奈
学年： 博士3年
所属： 情報科学研究科 情報理工学専攻 知識ソフトウェア科学講座 大規模知識処理研究室
授与団体： The 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017)
賞名： Best Paper Award
受賞論文名，研究題目名または受賞理由：
｢Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking (確率モデル検査を用いたユビキタスコンピューティングシナリオの信頼性解析)｣
問い合わせ先： Tel 011-706-6469, E-mail minato[a]ist.hokudai.ac.jp (湊真一)