Our group is concerned with the development of theoretical foundations of computer science, based on logic and mathematics. The aim is to seek greater understanding of fundamental computational techniques and their inherent limitations. The emphasis is not only on the abstract aspects of computing, but also on the application of theory in the field of computer science. The focus is on developing theory and tools in the field of algebraic specification which can be used to specify, analyse, and verify concurrent communicating and programmed systems.
Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.