The paper “Complexity of Automatic Sequences” by Hans Zantema has been awarded the best paper award for the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), which will be held in Milan March 4-6, 2020.
Author: Jeroen Keiren
We are hiring PhD students/postdocs!
We currently have four open positions for PhD students and one open position for a postdoctoral researcher. The open positions are in various externally funded projects. In particular, we are looking for candidates to fill a PhD position and a postdoc position in the ITEA funded MACHINAIDE project. Contact us for more information!
Paper on O(m log n) algorithm for branching bisimulation accepted at TACAS 2020
The paper “An O(m log n) algorithm for branching bisimilarity on labelled transition systems” by David Jansen, Jan Friso Groote, Jeroen Keiren and Anton Wijs has been accepted for presentation at TACAS, part of ETAPS 2020, in Dublin. An extended version including full proofs is available as technical report and on arXiv.
Open position Postdoc: continuous improvement of machines through verified software updates
We are looking for a post-doctoral researcher on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means of verified software updates. Check here for more information and applications Note that in the same project we are also …continue reading
Open position PhD student: continuous improvement of machines through verified software updates
We are looking for an excellent PhD student on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means of verified software updates. Check here for more information and applications Note that in the same project we are …continue reading