Software Engineering, Meyer
I am a PhD student at the Chair of Software Engineering at ETH Zurich, under the supervision
of Prof. Dr. Bertrand
I received my master's degrees in 2010, at Wuhan University, and I finished my master's thesis under the supervision of Martin Nordio, on proof transformatin of separation logic.
My main research area is program verification. Currently, I'm working with Martin Nordio on proof transformation of separation logic.