Dr. Dandolo Flumini

Lehrtätigkeit in der Weiterbildung

• CAS Big Data Analytics, Blockchain and Distributed Ledger
• CAS Blockchain - Von Konzepten zu neuen Anwendungsfeldern

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

• Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS), Vorstandsmitglied von 2010 bis 2014

• ACDC Artificial Cells with Distributed Cores to Decipher Protein Function / Stellv. ProjektleiterIn / 01.03.2019
• Digitales Immobilien Dossier (DIGIM) / Co-ProjektleiterIn / 01.10.2018
• Libra: A One-Tool Solution for MLD4 Compliance / ProjektleiterIn / 05.09.2016

Beiträge in wissenschaftlicher Zeitschrift, peer-reviewed

• Flumini, Dandolo; Sato, Kentaro,

  2014.

  From hierarchies to well-foundedness.

  Archive for mathematical logic.

  53(7-8),

  S. 855-863.

  Verfügbar unter: https://doi.org/10.21256/zhaw-4782

• Füchslin, Rudolf Marcel; Dumont, Elisabeth; Flumini, Dandolo; Fuchs, Hans Ulrich; Hauser, Helmut; Jaeger, Christian; Scheidegger, Stephan; Schönenberger-Deuel, Johanna; Lichtensteiger, Lukas; Luchsinger, Rolf H.; Weyland, Mathias,

  2014.

  Morphological control : a design principle for applications in space science.

  Journal of the British Interplanetary Society.

  67,

  S. 305-313.

  Verfügbar unter: http://adsabs.harvard.edu/abs/2014JBIS...67..305F

• Füchslin, Rudolf Marcel; Dzyakanchuk, Andrej; Flumini, Dandolo; Hauser, Helmut; Hunt, Kenneth J.; Luchsinger, Rolf H.; Reller, Benedikt; Scheidegger, Stephan; Walker, Richard,

  2013.

  Morphological computation and morphological control : steps toward a formal theory and applications.

  Artificial life.

  19(1),

  S. 9-34.

  Verfügbar unter: https://doi.org/10.1162/ARTL_a_00079

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

• Füchslin, Rudolf Marcel; Flumini, Dandolo; Hauser, Helmut; Hunt, Kenneth J.; Luchsinger, Rolf H.; Scheidegger, Stephan,

  2013.

  Morphological control as guiding principle in physiology and medical applications.

  In:

  Int. Workshop on Soft Robotics and Morphological Computation, Ascona, Switzerland, 19. Juli 2013.

Zurück