Jerry den Hartog

Jerry den Hartog is an Assistant Professor at the Security Group within the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). His research focuses on data protection for collaborative systems, network situational awareness, intrusion detection, access control, trust management, and formal verification. He applies this work to areas such as critical infrastructure, industrial control systems, intelligent transport systems, smart buildings, and IoT, contributing to TU/e research themes like Data Science and Engineering Health.

• PhD in Formal Methods (Vrije Universiteit Amsterdam)
• Previously worked at Centrum for Mathematics and Computer Science, University of Twente
• Established TU/e's Security Group in 2008

His research bridges fundamental and applied cybersecurity, with industry collaborations in critical infrastructure and IoT. He teaches courses on:

• Verification of Security Protocols
• Automata and Formal Languages
• Computer Networks and Security

Recent projects include:

• INTERSECT (NWA.1160.18.301): Internet of Secure Things
• DEPICT (628.001.032): Cyber-Physical Systems defense
• SECREDAS GA 783119: Automotive Controller Area Network security