Is making some slides and keynote AI thinks Hyper Hoare Logic is for kids. Yesssss🥰 🙌🏻 (was about to type “k-safety”…

😱

I love programming. 👩🏻‍💻

……🫣

When you find an unpublished work from the bottom of the master's drawer: ❤️🎹

Dripping water wears stone.

This year’s Halloween I play as a PhD student who is chasing upcoming deadlines and trying not to break down, stay positive, and keep the faith that you will report something good to your advisor soon. 👩🏻‍💻👻🎃

Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: etaps.org/awards/doctora… *provided they completed their degree at an eligible institution and submitted in 2024

Most international students must have experienced about waking up early in the morning to cheer for your homeland due to time zones. We made it, with no one even believed that we could make it to the second round. Thank you for all the wonderful games, Taiwan~Taiwan~!🥰🇹🇼🥇

My next paper will have the title page as: Tzu-Han Hsu What? State University What?, USA 🇺🇸🇺🇸🇺🇸😂🤣

MSU holiday concert, beautiful Gloria, Messiah, and X’mas songs, featuring CSE professor/tenor/bass Borzoo Bonakdarpour in the choir! 👏🏻👏🏻👏🏻☃️🎄❄️🎵

I like his code.💡

So this happened today. PhD student🙅🏻‍♀️-> PhD candidate!🙆🏻‍♀️ 🥹🥹🥹…!!! One million thank to my advisor Borzoo Bonakdarpour for being the premise of all I have done!🤓🥳 I paaaaaaaased!🥹😭😭😭😭

MSU orchestra and choirs performed the masterpiece, Mozart’s requiem, on this very special day. Thank you for delivering great music and congratulations to my PhD advisor Borzoo Bonakdarpour for another great performance! 🥳👏🏻👏🏻👏🏻

This is the time to submit your work to one (or more!) of the CAV 2025 workshops! Check out all workshops here: conferences.i-cav.org/2025/workshops/

Yes, and before these even those Greek letters are scary too…🫣

Engineering building parking lot is always fun. 🌝

‼️New paper accepted to NeurIPS’25‼️🥳 We use hyperproperties to guide multi-agent reinforcement learning (MARL), avoiding ad-hoc reward shaping. Thanks to my lab mate Arshia Rafieioskouei and our advisor Borzoo Bonakdarpour for this great collaboration! ✨🤖 😇 Arxiv here, paper coming soon!👇🏻