CSM Lab @ uOttawa
Users following Smart-Contract-Modelling-uOttawa
Cogito Ergo Sum
standardgalactic
๐๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ ๐๐๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐
Xanadu Canada
Xinwen Hu
huxinwen1994
Smart Contracts, Software Security, Formal Methods, Machine Learning
Changsha, China
