Principal Scientist @ Galois, Inc.. Programming languages, software verification, computer security, data privacy.

ID: 4149535100

linkhttp://david.darais.com calendar_today06-11-2015 20:11:32