Earned a Ph.D. in Computer Science from Cornell University (thesis topic: Proving Properties about Snobol4 Patterns).
Taught Computer Science at Columbia University and at Queens College of CUNY. Left teaching, had a variety of programming jobs in industry, concentrating on Perl in recent years.
Currently pursuing private research into possible improvements to the Perl6 pattern-matching specifications.