和賀 正樹氏が，下記の論文によって，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）でもあります．