Paul Miller?
(This resulting reply comes after my first ever "wrong person" post here on Stacker News; it's "deleted" now but not really.)