Henning Basold
Universitair docent
- Naam
- Dr. H. Basold
- Telefoon
- +31 71 527 6435
- 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
Promovendi
Publicaties
Links
Meer informatie over Henning Basold is te vinden op de Engelstalige profielpagina.
Universitair docent
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science