Person. Tudor Ferariu [tudor]

Student of Philip Wadler and Liam O'Connor at the University of Edinburgh, developing verification methods for smart contracts.