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

Smart Card

Secure Hardware

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