Henning Basold
Universitair docent
- Naam
- Dr. H. Basold
- Telefoon
- 071 5276435
- h.basold@liacs.leidenuniv.nl
- ORCID iD
- 0000-0001-7610-8331
De belangrijkste onderzoeksinteresses van Henning Basold zijn de studie van de logica en het gedrag van systemen, en de constructie van calculi die ons in staat stellen om verschillende systemen formeel te beschrijven en te redeneren.
Meer informatie over Henning Basold
Publicaties
Links
Meer informatie over Henning Basold is te vinden op de Engelstalige profielpagina.
Universitair docent
- Faculteit der Wiskunde en Natuurwetenschappen
- LIACS
- LIACS Research