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 Followers
1,1K Following