Robonomics - Robotics (especially sensors) + the blockchain CENNZnet - New Zealand build public blockchain Whiley - Programming language with extended static checking DeepSEA - A language to write verified Smart Contracts