Yang Hu

Principal AI Researcher at Zscaler, ex-AWS Applied Scientist, Ph.D. at UT Austin, Research on AI Security, Software Security, and Automated Reasoning

[Wenxi Wang @WenxiWang4]

Excited to share that our paper on re-evaluating LLMs for equivalent mutant detection received the ACM SIGSOFT Distinguished Paper Award at ISSTA 2026! 🎉🏆 Huge thanks to our amazing student interns and my wonderful collaborators, Darko and @yiling__LOU ! So grateful for this fantastic team!

📄 Check out our paper: https://t.co/rBtUoxKV1Q

[Wenxi Wang @WenxiWang4]

Very excited to share that my PhD student Grayson’s VeriContest work has been accepted to NeurIPS 2026! 🎉
VeriContest pushes verifiable code generation toward more realistic, large-scale evaluation with rigorous specifications and machine-checkable proofs. Please check it out!

[Wenxi Wang @WenxiWang4]

🚀 Attention future researchers! I’m thrilled to announce that our Hiprel Group in UVA CS is now recruiting PhD students for Fall 2026!

Do you have a passion for advancing Neuro-Symbolic AI and applying it to improve software reliability? We’re exploring how to:
💡 Combine deep learning (LLM/GNN/RL) with automated reasoning
💡 Advance verifiable code generation
💡 Strengthen the reasoning and verification capabilities of LLMs and apply these capabilities to improve software reliability

We’re looking for curious, driven candidates with:
✅ Strong foundations in computer science and discrete mathematics
✅ Solid programming skills (C/C++ preferred)
✅ Experience with SAT/SMT solving or automated reasoning tools such as Kissat, Z3, Verus, Dafny, Lean, Coq, or Alloy — or a strong willingness to learn them!
✅ Bonus: Experience with LLMs, GNNs, RL.

🌟 Interested? Complete the application form linked on our recruit page (https://t.co/5yJ7mzB4xg) and let’s talk research!

🙏 Please help spread the word!

[Wenxi Wang @WenxiWang4]

Thrilled to share that our RFCScope paper, the very first paper authored by my intern and PhD student under my supervision, has been accepted to ASE 2025! I’m so proud of their hard work and excited to see it presented at ASE.

[Wenxi Wang @WenxiWang4]

Our Hiprel Group is recruiting PhD students (Fall 2026) and year-round interns to drive innovative research at the intersection of machine learning, automated reasoning, and software engineering.

🔍 Group info: https://t.co/cfr78YyQjm
📬 Apply now: https://t.co/5yJ7mzB4xg

[Wenxi Wang @WenxiWang4]

I am pleased to announce PhD opportunities in my research group at @CS_UVA for Fall 2025 (with flexibility for Spring 2025). We are working on advanced topics in deep learning, automated reasoning, and software engineering.
📖 Details: https://t.co/5yJ7mzB4xg
📷 Apply here: https://t.co/WgMGU675of…

[Wenxi Wang @WenxiWang4]

As an incoming Assistant Professor @UVA CS, I invite applications for multiple PhD and internship positions!

Seeking passionate individuals for interdisciplinary research in Software Engineering, Formal Methods, and Machine Learning. For more details, visit https://t.co/5yJ7mzB4xg.

Reach out if you are interested, and/or spread the word!

[Wenxi Wang @WenxiWang4]

Excited to announce that I will be joining @UVA CS as an Assistant Professor this summer!

[Yang Hu @huyangtweets]

@zhendong_ Congratulations！

[Alex Kuleshov @0xAX]

Linux Hardening Guide - https://t.co/Gpf1C7DUu9