Hi, my name is Ray. I completed my PhD under the supervision of Morri and Yang in 2024. My main research topic during my studies was machine ethics, particularly top-down machine ethics using epistemic logic. I explored various interpretations of ethics proposed by different ethicists and philosophers, and implemented them using formal methods across a range of scenarios.
At the moment, I am focusing on developing verifiable architectures for autonomous robots. This involves capturing the necessary requirements and translating them into machine-understandable languages, applying various verification techniques such as model checking, satisfiability checking, and runtime monitoring, and developing design patterns to support reusability and integration.
Interests