My principal focus is acquiring an in-depth understanding of theorem proving and algorithm analysis through machine learning. I am drawn toward a practical and implementation-based mindset when studying computing. I am actively seeking multidimensional opportunities to explore and gain a fuller appreciation of this complex field. Currently I am working as Associate Professor at Xi’an Eurasia University, Shaanxi, P.R of China.