IOHK | Team

Alasdair Hill

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

Alasdair Hill