Wonderings of a SAT geek | A blog about SAT solving and cryptography
Wenxi Wang is a Ph.D. candidate at The University of Texas at Austin. Her research focuses on developing methods and tools in formal reasoning to aid the construction of secure and reliable software systems. Her interest lies in the intersection of Software Engineering, Formal Methods, and Machine Learning , with an emphasis on enhancing the efficiency and robustness of automated logical reasoning tools, and improving the security and reliability of software systems.
She is supervised by Sarfraz Khurshid in doing software verfication and testing. She is also working with Kenneth McMillan for improving automtated logical reasoning (e.g., SAT and MaxSAT solving) and model checking related research, and Darko Marinov for joint work on Alloy, Flaky Tests, etc.
I am on the academic job market this year (2023-2024)!
Wonderings of a SAT geek | A blog about SAT solving and cryptography