Gerrit Jan Veltink

Prof. Gerrit Jan Veltink is a Professor at the University of Applied Sciences Emden/Leer, affiliated with the Faculty of Technology, Electrical Engineering and Informatics and the Department of Media Informatics. He coordinates the Master's program in Industrial Informatics (since 2017) and co-initiated the Informatics program in collaboration with the Software Network Leer. He serves as scientific director of the Industry 4.0/IoT group within the Digital Hub Ostfriesland and is a founding member of the steering group for the IT-Achse (Ems-Achse).

• Education: Holds a doctoral degree (Dr.) in a relevant field.
• Teaching Roles: Teaches courses in Multimedia Programming, Concurrency Theory, Distributed Systems, Formal Process Verification, and Industrial Cyber-Physical Systems.
• Research Focus: Specializes in formal specification languages, parallel/distributed systems, Industry 4.0 integration, and cyber-physical systems education.

His research emphasizes rigorous methodologies for system verification and industrial automation, particularly in domains requiring high reliability. Recent work includes pedagogical approaches to teaching cyber-physical systems and advancing tools for distributed system modeling.

Notable contributions include the PSF formalism and toolkit, foundational to process specification and verification, with a legacy of over three decades of impactful academic output.