DISCOVER Lab-Baxter
Baxter humanoid robot is sorting legos while kids look on in amazement. The Distributed Cooperative System Research Laboratory (DISCOVER) was founded in 2013 and their research goal is to build foundations for a provably correct formal design theory for distributed cooperative systems.