Manuel Carro, the director of the IMDEA Software Institute, contributed again to the Spanish podcast “1BIT de memoria”, focused on the life and achievements of great computer scientists, specifically Turing prize award recipients.
This time, the podcast focused on Leslie Lamport, widely known for his contributions to concurrent and distributed systems, verification, and for being the creator of LaTeX, one of the systems for document preparation most widely used in scientific and technical environments.
