Aarhus University logo
Dansk
Department of Computer Science
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
We have been formalizing mathematics in type theory for many years. Although great progress has been made, there were still a number of issues that…
Abstract:
In my PhD project I am developing a formal semantics of a significant fragment of the C programming language as described by the C11…
Cryptography is a powerful tool that can be used to protect information. In its original form, cryptography enables Alice to communicate with Bob in…
Page 151 of 190
