Hi, I’m Wen-Chi Yang, a PhD graduate from the DTAI research group at KU Leuven.

I worked on combining Formal Verification with Machine Learning to improve safety constraint satisfiability. In particular, I am interested in different ways where the agent can leverage background knowledge to learn and explore safely.

I’m on the job market. Feel free to reach out!

Click for my CV and research statement.