Tzu-Han๐ฉ๐ปโ๐ป๐น
@tzuhanh
CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also ๐ป๐น๐ต๐ฌ๐น๐ฅโ๐ฅ๐ฆ๐ฆ
ID: 1271870820558798849
https://tzuhancs.github.io 13-06-2020 18:23:44
1,1K Tweet
1,1K Takipรงi
1,1K Takip Edilen
MSU holiday concert, beautiful Gloria, Messiah, and Xโmas songs, featuring CSE professor/tenor/bass Borzoo Bonakdarpour in the choir! ๐๐ป๐๐ป๐๐ปโ๏ธ๐โ๏ธ๐ต
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! ๐ฅณ๐๐ป๐๐ป๐๐ป
โผ๏ธ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!๐๐ป