Henning Basold
Universitair docent
- Naam
- Dr. H. Basold
- Telefoon
- +31 71 527 4799
- h.basold@liacs.leidenuniv.nl
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. Advanced Computer Sciences
Geen relevante nevenwerkzaamheden