Aarhus Universitets logo
English
Abstract: The talk will discuss possible relationships between Visual Analytics and cyber security, listing hot application fields and tickling the…
Inaugural lecture
Is my program bug-free? Can it leak sensitive information? Can it take forever to run?
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…
Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger…
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…
OK Google, I would like to visit a city like Aarhus". A seemingly simple question like this finds only disappointing answers from modern smart…
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…
Side 3 af 4
