3 ms·

I have to admit that I had no clue this man invented latex. But we studied Lamport clocks and lots of his papers on distributed systems.