CS professor at UCSB and captain @nubit_org. I do practical research in program verification and blockchains.