Not me of course, but Armstrong began Erlang by writing an algebra for telephony exchanges. Codd wrote an algebra for relations. Thompson implemented Kleene's

Not me of course, but Armstrong began Erlang by writing an algebra for telephony exchanges. Codd wrote an algebra for relations. Thompson implemented Kleene's regular expressions (notated with an algebra).