Len was a Macbook user, but he would not have done Bitcoin on his personal laptop. It's much more likely he used available PCs in a computer lab on the campus he studied/worked at, which were likely Windows machines.

It's also been shown Satoshi (and Len's) activities aligned and they overlapped with a school/academic year.