Matthew A. Hammer works at DFINITY, and uses Motoko.
github: matthewhammer
papers: See DBLP
resume: See LinkedIn
and this old academic page (now stale).