Fundamental Computing
The Fundamental Computing group aims to contribute to the understanding of the logical and mathematical foundations of computing science and to realize a two-way transfer between this fundamental research and more applied sub-disciplines of computing science.
Do you know about the Bernoulli Institutes Intranet pages as they contain very useful information benefitial for all Bernoulli staff and PhD's, please have a look.