Mengxia Tao has four years of experience in developing EDA simulation tools and nearly one year of experience related to SAT solvers.
Interests
- SAT Solver
- Formal Verification
Education
Master in Software Engineering, 2018
Southeast University
Bachelor in Computer Science and Technology, 2015
Ocean University of China