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
- Basold H., Bruin P.J. & Lawson D.R. (2024), The directed Van Kampen Theorem in Lean. Bertot Y., Kutsia T. & Norrish M. (red.), 15th International Conference on Interactive Theorem Proving (ITP 2024). 15th International Conference on Interactive Theorem Proving (ITP 2024) 9 september 2024 - 14 september 2024. Leibniz International Proceedings in Informatics (LIPICS) nr. 309: Schloss Dagstuhl – LZI GmbH . 8:1-8:18.
- Henning Basold (2019), Coinduction in Flow: The Later Modality in Fibrations. Roggenbach M. & Sokolova A. (red.), 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) 3 juni 2019 - 6 juni 2019 nr. 139. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 8:1--8:22.
- Basold Henning & Geuvers Herman (2016), Type Theory Based on Dependent Inductive and Coinductive Types, LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science•. LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science 5 juli 2016 - 8 juli 2016. New York, NY, U.S.A.: ACM. 327-336.
- Basold Henning & Komendantskaya Ekaterina (2016), Models of inductive-coinductive logic programs. Komendantskaya E. & František F. (red.), Pre-Proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty16). Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty'16 28 november 2016 - 29 november 2016: EPTCS . 23-24.
- Basold H. (2015), Dependent Inductive and Coinductive Types Are Fibrational Dialgebras. Matthes R. & Mio M. (red.), Proceedings Tenth International Workshop on Fixed Points in Computer Science (FICS 2015). 10th International Workshop on Fixed Points in Computer Science 11 september 2015 - 12 september 2015 nr. 191: Open Publishing Association. 3-17.
- Basold H., Günther H., Huhn M. & Milius S. (2014), An Open Alternative for SMT-Based Verification of Scade Models. Lang F. & Flammini F. (red.), Formal Methods for Industrial Critical Systems. FMICS 2014. International Workshop on Formal Methods for Industrial Critical Systems FMICS 2014 30 augustus 2014 - 31 augustus 2014 nr. 8718. Cham: Springer. 124-139.