Skip to Main Content

Apply Now to the University of Wyoming apply now
Wyoming Advanced Blockchain Lab Logo


IOHK butterfly logo

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. 

Current Projects

Contract Code Snippet

Smart Contracts

Smart Card

Secure Hardware

Cluster of Nodes

Automated Stake Pools

1000 E. University Ave. Laramie, WY 82071
UW Operators (307) 766-1121 | Contact Us | Download Adobe Reader

Accreditation | Virtual Tour | Emergency Preparedness | Employment at UW | Privacy Policy | Harassment & Discrimination | Accessibility Accessibility information icon