Hello, I am Dexi Wang

I am a Ph.D. Student in Software Engineering at School of Software, Tsinghua University
.
My research focuses on formal methods of software analysis, especially model checking and abstract interpretation.
I'm currently working on the Beagle and Ceagle Software Verification Toolkit.