Formal Methods for Distributed Computing & Computer Security, Blockchain, Logic in Computer Science, Artificial Intelligence Learn more about Ron van der Meyden's work experience, education, connections & more by visiting their profile on LinkedIn