Matthew A. Hammer works at DFINITY on Motoko.

email:	pubmah@nym.hush.com
github:	matthewhammer
papers:	See DBLP
resume:	See LinkedIn
and	this old academic page (now stale).