Universiteit Leiden

nl en

Henning Basold

Universitair docent

Naam
Dr. H. Basold MSc
Telefoon
+31 71 527 4799
E-mail
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

Meer informatie over Henning Basold is te vinden op de Engelstalige profielpagina.

Universitair docent

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst. Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden

Contact

Geen relevante nevenwerkzaamheden

Deze website maakt gebruik van cookies. Meer informatie