Wenxi Wang - About Me

I am a fourth 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.


  • 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.