I am a PHD student under the supervision of Alessio Lomuscio in the Verification of Autonomous Systems research group. My research interests include verification, model checking, neural network and reasoning in artificial intelligence.
Previously, I focused on verification on multimedia components and system integrations in a verification team of MediaTek. I also investigated methodologies of electronic design automation in my master degree, mainly on training patterns for designs.
PhD in Computing, 2017 - Present
Imperial College London
Senior Engineer, 2011 - 2016
MediaTek
Engineer, 2008 - 2011
Realtek
MSc in Computer Science, 2006 - 2008
National Tsing Hua University
BSc in Computer Science, 2002 - 2006
National Tsing Hua University
This year I am a teaching assistant for the following courses:
Welcom to contact me if you have any questions about any of these courses.