Theory of Computer Science

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.

Meer weten?

Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.

Contact

Terug naar overzicht »