CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

Centre for Safety and Security in Smart Societies (C.S4)

Prof. dr. Raymond Veldhuis, Prof. dr. ir. B.R. Haverkort

The Centre for Safety and Security in Smart Societies (C.S4) aims to make the physical world and cyber space a safer place by enhancing (cyber) security, public safety and system dependability.

C.S4 combines core ICT research with the social and behavioral sciences (psychology, sociology, ethics and philosophy) in order to design high-tech systems and solutions tuned to human behavior and needs. Dependable ICT will provide the core technology to detect risks and threats and to protect against these, whereas the social sciences help to understand the behavior of users and potential offenders or attackers to design technology that is effective, efficient and proportional.

Within C.S4, the following themes are actively worked upon:


Cyber-security, including network security, cryptography, and the combat of cyber crime;


Public safety, including intelligent surveillance and access control, and crowd management;


Advanced system modeling and analysis techniques to predict and prevent future faulty operation or maintenance actions of ICT systems;


Dependable system and network design, including architecture and protocols, and reconfiguration and fault-masking techniques to make system more resilient and fault-tolerant.

Note that the above themes are interconnected, e.g., activities on social media can arouse uproar that affects public safety, or a cyber attack on an industrial control system can affect public safety. Similarly, an ill-designed e-commerce system can cause monetary loss for companies or a government, or a faulty embedded system might lead to reliability problems in cars.

Core researchers



Services, Cyber security, Safety (SCS)

Prof. dr. Raymond Veldhuis

Biometrics, crowd management, pattern recognition

Prof. dr. Pieter Hartel

Intrusion detection, cyber security

Prof. dr. Roel Wierenga

Risk assessment

Dr. Luuk Spreeuwers

Biometrics, computer vision

Design and Analysis of Communication Systems (DACS)

Prof. dr. Boudewijn Haverkort

Prof. dr. Aiko Pras

Dr. Anne Remke

Dr. Pieter-Tjerk de Boer

Dependable system and network design, network management, network intrusion detection, advanced modeling and simulation techniques, SCADA systems

Computer Architecture for Embedded Systems (CAES)

Prof. dr. Gerard Smit

Dr. Hans Kerkhoff

Dependable computer architectures, dependability in smart grid networks

Formal Methods and Tools (FMT)

Prof. dr. Jaco van de Pol

Dr. Mariëlle Stoelinga

Dr. Marieke Huisman

Formal description techniques, dependability evaluation techniques, model checking, software design

Hybrid Systems (HS)

Prof. dr. Hans Zwart

Dr. Jan-Willem Polderman

Analysis of hybrid systems

Stochastic Operations Research (SOR)

Dr. Werner Scheinhardt

Stochastic modeling techniques, simulation

Pervasive Systems (PS)

Prof. dr. Paul Havinga

Dependable wireless sensor systems, various application areas, sensors

Human Media Interaction (HMI)

Prof. dr. Vanessa Evers

Human behaviour and interaction

Databases (DB)

Dr. Maurice van Keulen

Data management technology

Telecommunication Engineering (TE)

Prof. dr. Frank Leferink

Protection of civil infrastructures, telecommunications

Philosophy (Phil)

Prof. dr. Philip Brey

Dr. Michael Nagenborg

Philosophy and ethics

Industrial Engineering and Business Information Systems (IEBIS)

Prof. dr. Marianne Junger

Prof. dr. Jos van Hillegersberg

Prof. dr. Henk Zijm

Crime Science, logistics

Other UT research groups, not part of CTIT

Department Psychology of Conflict, Risk and Safety

Prof. dr. Ellen Giebels

Dr. Peter de Vries

Psychology of conflict, risk and safety