Tzu-Han👩🏻‍💻🎹 (@tzuhanh) 's Twitter Profile
Tzu-Han👩🏻‍💻🎹

@tzuhanh

CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification, security, hyperproperty, and 🎻🎹🎵🎬🌹🥑☕🥂🦙

ID: 1271870820558798849

linkhttps://tzuhancs.github.io calendar_today13-06-2020 18:23:44

1,1K Tweet

1,1K Followers

1,1K Following

Tzu-Han👩🏻‍💻🎹 (@tzuhanh) 's Twitter Profile Photo
Tzu-Han👩🏻‍💻🎹
@tzuhanh

3 months ago

‼️New Paper Alert‼️ Photo of Raven Beutner giving a wonderful talk on our joint work with Borzoo Bonakdarpour and Bernd Finkbeiner, titled: “Syntax-Guided Automated Program Repair For Hyperproperties” freshly published at CAV 2024!!! 🥳🥳🥳 Paper link coming soon!🏃🏻‍♀️

‼️New Paper Alert‼️ Photo of <a href="/ravenbeutner/">Raven Beutner</a> giving a wonderful talk on our joint work with <a href="/TheBorzoo/">Borzoo Bonakdarpour</a> and <a href="/FinkbeinerBernd/">Bernd Finkbeiner</a>, titled: “Syntax-Guided Automated Program Repair For Hyperproperties” freshly published at <a href="/confCAV/">CAV</a> 2024!!! 🥳🥳🥳 Paper link coming soon!🏃🏻‍♀️