Ph.D.@S3DatCMU | Trustworthy and Safe AI, LLM & Agent

Joined October 2022
Yining She retweeted
Building trustworthy LLM systems is a software engineering problem: testing & validation, RAG/agents, prompt injection & red-teaming, monitoring/observability, provenance & governance. Submit to LLMTrust @ #FSE2026 ➜ llmtrust2026.github.io/ #LLMTrust #LLM
1
4
295
Yining She retweeted
Super proud to share our new RSS 2025 work! I have been working on this with my collaborators for a while now and the sheer complexity of deploying CBFs in the field with perceptual inputs has been so exciting! Come chat with us about it at RSS!
🚀 Thrilled to present ViSafe, a vision-only airborne collision avoidance system that achieved drone-to-drone avoidance at 144 km/h. In an era of congested airspace and growing autonomy, reliable self-separation is paramount 🧵👇
1
7
698
Yining She retweeted
CMU and alumni at ICSE 2025!
4
1
17
2,381
Yining She retweeted
Thrilled to share our work on accelerating neurosymbolic methods for robotics! STLCG++ encodes logical constraints in a computational graph, achieving 100-1000× faster quantitative evaluation—enabling real-time symbolic reasoning for traj opt, policy learning, & more. 🧵 [1/n]
3
19
2
64
7,166
Yining She retweeted
My postdoc, @sumonbis, is on the job market this year! He's done lots of fantastic work in SE4ML, with a focus on improving the fairness of ML-driven systems. If your department is hiring this year, I'd strongly recommend inviting him for a visit!
I am on the academic job market this year ‼️ I am a #software engineering researcher focusing on the SE4AI area, especially designing fairness and safety of #ML models and systems. Feel free to reach out. sumonbis.github.io
1
3
21
3,373
Yining She retweeted
🎓Applying for @SCSatCMU's PhD program, and seeking feedback as an underrepresented applicant? This is an excellent chance to get quality feedback from CMU students, who've been through the same process! Plz apply by Sep 30: cs.cmu.edu/~gasp
📢 Are you an underrepresented applicant for @SCSatCMU PhD program? We're here to help! @daye_nam and I are leading SCS GASP. We match PhD applicants with student mentors for application feedback. To be considered, please complete the form by Sep 30: cs.cmu.edu/~gasp
5
21
5,207
The Statement of Purpose may be the toughest part of the #gradschool application. Join #SoftwareEngineering PhD director @p0nk to talk about your SOP during his Nov 15 Grad School Q&A session on Zoom (3-4PM) Learn more + Register (required) at s3d.cmu.edu/gradzoom/index.h…