Researcher in Computer Science at MPI-SWS, formerly Marie Curie fellow at Imperial College.Verification, concurrency, looking at things from different angles.Music enthusiast.