Jérémy Dubut 博士,ETAPS 2019 にて Best Theory Paper Award 受賞

Jérémy Dubut 博士が,下記の論文によって,ETAPS 2019 – European Joint Conferences on Theory and Practice of Software において Best Theory Paper Award を受賞しました.

Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019).

Jérémy Dubut 博士は ERATO MMSD プロジェクトの特任研究員です (グループ 0).