IOHK | Team
Alasdair Hill
- Certification Engineer
- Engineering
United Kingdom
Alasdair Hill is a certification engineer with a background in formal verification and functional programming. He is currently submitting his PhD in Computer Science at Heriot-Watt University. During his time at Heriot-Watt University, he has published several papers focusing on utilizing dependently-typed programming languages to verify Automated Plans.
0xC636B914