Alasdair Hill

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.