À propos
I am a researcher in Microsoft Research (MSR) Redmond. My interests span web/browser security, formal methods, decentralized computing, cloud protocol, applied cryptography, trusted AI, dependable computing, and other related areas.
I am a researcher in Microsoft Research (MSR) Redmond. My interests span web/browser security, formal methods, decentralized computing, cloud protocol, applied cryptography, trusted AI, dependable computing, and other related areas.