Xiaohong Chen

Xiaohong is studying the logical foundation of programming languages with Professor Grigore Rosu. His work has been funded by Ethereum Foundation for its potential to make smart contracts more secure and trustworthy.