Filip Mazowiecki joins MPI-SWS
Filip Mazowiecki has joined the institute as a research group leader. His research focuses on the theoretical analysis of models like Petri nets and weighted automata, working on fundamental questions like reachability and equivalence.