I am a research assitant in the automated reasoning group at RPTU Kaiserslautern, under the supervision of Prof. Anthony. W. Lin. I obtained my bachelor
degree in China, and I finished my master study in Saarland University.
My current research interests lie in improve the graph query language, and I am specifal focusing on
regular path queries on property graphs
You may contact me at heyangli4work at gmail dot com.
