Dutch-Australian computer scientist who has worked on the logic of knowledge and deontic logic in the context of artificial intelligence and security.
Contributed to dynamic epistemic logic and deontic logic applied to information security — reasoning about what agents know and what they are permitted to do.
No recorded minds influenced.
No conceptual posterity found.
Discussing
Ask anything about Ron van der Meyden — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.