Eingabe löschen

Kopfbereich

Schnellnavigation

Hauptnavigation

Dr. Dandolo Flumini

Dr. Dandolo Flumini
ZHAW School of Engineering
Forschungsschwerpunkt Applied Complex Systems Science
Technikumstrasse 9
8400 Winterthur

+41 (0) 58 934 77 04
dandolo.flumini@zhaw.ch

Persönliches Profil

Lehrtätigkeit in der Weiterbildung

Arbeits- und Forschungsschwerpunkte, Spezialkenntnisse

Logik, Formale Methoden und Sprachen in der angewandten Wissenschaft.

Aus- und Fortbildung

2008 - 2013 Universität Bern, Dr. phil nat
2002 - 2008 Universität Zürich, Diplom / Master in Mathematik
1996 - 2001 Kantonsschule Enge, Typus D

Mitglied in Netzwerken

Projekte

Publikationen

Beiträge in wissenschaftlicher Zeitschrift, peer-reviewed Konferenzbeiträge, peer-reviewed
  • Brünnler, Kai; Flumini, Dandolo; Studer, Thomas,

    2018.

    A logic of blockchain updates [Paper].

    In:

    Artemov, Sergei; Nerode, Anil, Hrsg.,

    Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings.

    International Symposium on Logical Foundations of Computer Science, Deerfield Beach, FL, USA, January 8–11, 2018.

    Springer.

    S. 107-119.

    Lecture Notes in Computer Science ; 10703.

    Verfügbar unter: https://doi.org/10.1007/978-3-319-72056-2_7

Mündliche Konferenzbeiträge und Abstracts