和賀 正樹氏,FORMATS 2019 で最優秀論文賞を受賞

和賀 正樹氏が,下記の論文によって,FORMATS 2019 – the 17th International Conference on Formal Modeling and Analysis of Timed Systems – において最優秀論文賞(Oded Maler Award) を受賞しました.

Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: André É., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [Springer | arxiv]

和賀 正樹氏は ERATO MMSD プロジェクトのリサーチアシスタント(グループ3)です.彼は総研大情報学専攻の博士課程に在学中であり,日本学術振興会特別研究員(DC)でもあります.