Doing PhD on subjects covering compilation, programming languages, Michelson, spreadsheets andverification.