معرفی
Jurriaan Rot is an Associate Professor at Radboud University, specializing in theoretical computer science. His research focuses on coalgebra, automata learning, and verification.
He completed his PhD at Leiden University under the supervision of Marcello Bonsangue, Jan Rutten, and Frank de Boer.
۰مقاله منتشرشده
