Did Alan Cox work on tcp? I thought he was working on memory and stuff.

That's what the wiki says anyway: [1], and a publication with his name is about huge pages [2]

[1] https://wiki.freebsd.org/AlanCox

[2] https://www.usenix.org/legacy/events/osdi02/tech/full_papers...