The University of Wyoming Advanced Blockchain Lab is an R&D lab focused on Formal
Verification, Smart Contracts, and Secure Hardware related to Realworld Blockchain
Applications that is funded by IOHK with 1:1 matching funds from the Wyoming Legislature and additional matching funds
from the University of Wyoming.
Please take a moment to explore our current, future and past research projects while
meeting our team here. If you are interested in what you see - send us a note about why you might like to join us.
Automated Stake Pools
4 PhD/2 MS +2 PhDs/1MS Fall
Stake Pool Stats
ROA +4% / Blocks Per Epoch ~15
65K of SEED Funding
4.2+ MM in committed funds