New people - Tom van Dijk started in Twente as assistant professor


Tom van Dijk started as assistant professor in the Formal Methods and Tools group at the University of Twente. His research is connected to formal verification and synthesis, including the efficient solving of parity games, using binary decision diagrams in formal methods and SAT/SMT solving with multi-core parallelism. He also likes making and improving usable research tools. Welcome on board, Tom!