14:15-16:00 | 5335-016 (Peter Bøgh Andersen Aud) Computer Science Day 2019 10 minutes to introduce your research. This is the concept of The Computer Science Day which takes place in 5335-016 Peter Bøgh Auditorium, on Friday May 24.
Fri10May
15:15-16:00 | Building 5510, room 104 (Incuba Lille Aud) CS Colloquium - Bas Spitters: Modern Type Theory and Secure Blockchains Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger libraries and address new areas of computer science.
Fri26Apr
15:15-16:00 | Building 5510, room 104 (Incuba Lille Aud) CS Colloquium - Claudio Orlandi: Zero-Knowledge Proofs and Their Applications in Modern Cryptography Suppose I claim I can taste the difference between Carlsberg and Tuborg. If you don't believe me, you could pour some beer in a glass and see if I can guess correctly which brand you chose. If we repeat the process enough times, you will eventually be persuaded that I can actually taste the difference.
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium) CS Colloquium - Kasper Green Larsen: In Pursuit of Optimality What would you rather compute with a paper and pencil, 3'593'103 + 1'502'348 or 3'593'103 x 1'502'348? Most sane people would prefer adding the two numbers. But why?
Fri07Dec
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium) CS Colloquium - Martin Møller: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning I would like to invite you to celebrate a 25 year old high-impact paper from Department of Computer Science, AU. To my knowledge, the paper is probably the most ever cited single research result paper written by a single author, a then PhD student, from the Department of Computer Science, AU. It has been cited 3500+ times over the last 25 years, with an increasing frequency, this year to date alone 250+ citations. The paper also shows that the Department of Computer Science was an early mover in the hyped area of Machine Learning, since the topic of the paper is on algorithms for supervised learning. I have asked the author to give a talk based on the paper, and I have also asked him to talk about what his research result has been/is used for today through some examples. The talk will be followed by a little reception, as a warm up to the Katrinebjerg Christmas Lunch, taking place later the same day.
See you at the talk!
Kaj Grønbæk, Head of Department, Professor.
Fri16Nov
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium) CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart? The digital society, including our personal life, depends increasingly on software. Software errors are annoying, hinder productivity, screw up our security, and even lead to loss of lives in the case of
safety-critical systems. Why is not all software formally verified?
