Stack Overflow
Stack Overflow

lburski
109
reputation
9
  • Edinburgh
  • Member since October 14 2014
  • 32 profile views
  • Last seen Apr 24 '19 at 22:06

Heriot-Watt University Bsc (Hons) Computer Science Graduate. Now working on a PhD research project to semi automate the translation between a formal specification into a theorem prover.