ÂÜÀòÂÒÂ×

Arjen Rouvoet is a highly skilled scientist and software developer with extensive experience in programming languages and software reliability. Currently working at TNO as a Scientist since February 2024, Arjen previously served as a Senior Software Developer at Riscure from May 2022 to January 2024. Arjen's academic career includes a Postdoctoral Researcher position and a PhD candidate role at Technische Universiteit Delft, focusing on formal verification of software safety. Arjen has also contributed to software engineering at Occator and Science [&] Technology, where innovative improvements to software design and deployment processes were implemented. Arjen holds multiple degrees from Delft University of Technology, including a PhD, MSc, and two BSc degrees in Computer Science and Electrical Engineering.