Universiteit Leiden

nl en

Henning Basold

Universitair docent

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

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

Universitair docent

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst of Advanced Computer Science

Werkadres

Gorlaeus Gebouw
Einsteinweg 55
2333 CC Leiden
Kamernummer BM2.11

Contact

Publicaties

  • Geen relevante nevenwerkzaamheden
Deze website maakt gebruik van cookies.  Meer informatie.