Leslie Lamport, Professor, Turing Award Winner and the creator of LaTeX

Coding is not equal to Programming

Leslie Lamport is known for many things, one of them being something most of us work with very often, which is the programming language LaTeX. More recently (2013) he won the Turing Award for his work on distributed computer systems.

At our Late Lecture he will be giving an unique talk which was meant for a cancelled conference during corona.

Abstract of the talk:

Coding is the last step in writing a program. First comes deciding

what the program should do and how it should do it. The best way

to think about those steps is with mathematics. But programmers can't

use the simple math they need, and mathematicians don't teach them how.

We are certain, that this evening will be inspiring for most of you, so join us at the largest auditorium at DTU!

The event will take place at DTU, Lyngby Campus, building 116, aud. 81

17.00: Presentation starts
17.45: Q&A
18.00: Voluntary networking

The talk is as always free to attend for everyone, but registration is required.

This event is full. We hope to see you some other time.

This is a past event.