Universitetsavisen
Nørregade 10
1165 København K
Tlf: 35 32 28 98 (mon-thurs)
E-mail: uni-avis@adm.ku.dk
University of Copenhagen
Independent of management
Talk
Talk — Bring your lunch, your fellow students, and join us at the first DIKU Bits of the semester! DIKU Bits is the perfect place to spark your inspiration, fuel interests, and get closer to research at DIKU. Whether you are considering a project out of scope, want to get inspired for an upcoming bachelor project or thesis, or simply find the topic exciting, this is the perfect opportunity for you to expand your horizons.
Date & Time:
Place:
Lille UP1, DIKU, Universitetsparken 1, 2100 København Ø
Hosted by:
DIKU, Københavns Universitet
Cost:
Free
Ensuring correctness of computer software, safety of air traffic control, and validity of smart crypto contracts are examples of extremely challenging problems for which modern research has delivered inexplicably efficient algorithms.
There is only one catch: These amazing algorithms are sometimes wrong. And we currently have no way of knowing when this is the case. This talk is about a way of solving this problem: to use proof logging to make the algorithm output not only an answer, but a machine-verifiable proof that this answer has been computed correctly.