Aarhus University logo
Short bio:
Aurore Guillevic is researcher at Inria Nancy (a French research institute in computer science) and works on the implementation aspects…
Title:Topics in Computational Social Choice: Voting, Stable Matchings, and Fair Division
Abstract: Computational social choice is a field at the…
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Abstract:
How can we assess a network's ability to maintain its functionality under attacks? While network robustness has been studied extensively in…
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…
Page 2 of 4.