Es especialmente conocido por sus trabajos en sistemas distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX.