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

ID:11111652

linkhttp://fredfeng.github.io calendar_today13-12-2007 01:56:57