Dean of University College Twente & Professor of Formal Methods and Software Verification
Computer scientist specializing in formal verification of critical software, model checking of automated transportation protocols, and educational design for self-directed engineering learning.
Topics: Model Checking, Verification of Autonomous Systems, Interdisciplinary STEM Education
View researcher profile ↗
Professor of Advanced Robotics, Chair of Robotics and Mechatronics (RAM)
World-renowned roboticist leading IEEE and European robotics societies, researching geometric control theory, snake robots for search and rescue, and robotic surgical tools.
Topics: Port-Hamiltonian Systems, Medical Robotics, Autonomous Aerial Manipulation
View researcher profile ↗
Honorary Professor of Philosophy of Technology & Member of UNESCO COMEST
Leading philosopher of technology analyzing the moral agency of technical artifacts, technological mediation in healthcare, and ethical governance of artificial intelligence.
Topics: Philosophy of Technology, Postphenomenology, Ethics of Human Augmentation
View researcher profile ↗