Wenxi Wang - About Me

Email: wenxiw@utexas.edu

I am a fifth year PhD student at Electrical and Computer Engineering (ECE) Department, University of Texas at Austin, supervised by Prof. Sarfraz Khurshid. I am also working with Prof. Kenneth Mcmillan for improving SAT solving, and Prof. Darko Marinov for joint work on Alloy, Flaky Tests, etc. My interests mainly focus on SAT/SMT solving, SAT based Model Checking, Model Counting, Software Testing, and Machine Learning including Neural Networks.

During my Masters, I was working with Prof. Peter Stuckey and Prof. Harald Sondergaard for a word-level bit-vector SMT solver called Wombit, at School of Computing and Information Systems, The University of Melbourne.


  • PLDI 2023 Artifact Evaluation Committee Member.
  • ECOOP 2023 Artifact Evaluation Committee Member and Extended Review Committee Member
  • USENIX Security 2023 Artifact Evaluation Committee Member.
  • NeurIPS 2022 Reviewer.
  • ISSTA 2022 Artifact Evaluation Committee Member.
  • PLDI 2022 Artifact Evaluation Committee Member.
  • PLDI 2021 Artifact Evaluation Committee Member.
  • External Reviewer: TACAS 2022, FSE 2021, ICST 2020, ASE 2020, ISSRE 2020, and ICSE 2019.


  • Honorably got in Rising Stars in EECS 2022
  • Joined Automated Reasoning Group at Amazon Web Service as a research summer intern, 2022.