Dr. Florian Nafz




Research Interests

I am involved in the Organic Computing group, more particular the DFG project "Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications (SAVE ORCA)".  My main interests are in the development of methods and techniques to be able to give behavioural guarantees despite self-organisation. Further I am involved in the "ForSA@OC-Trust" project which is part of the DFG Research Group "OC-Trust".

My research includes the following topics:

  • Safety Analysis & Formal Verification of Self-organizing Systems
  • Softwareengineering for Embedded Systems
  • Constraint Satisfaction (Constraint Satisfaction Optimization and Partial Constraint Satisfaction)
  • Software Engineering for Self-organizing Systems
  • Game Theory

In addition to my research focus I am very interested in Multi-Agent Systems, bio-inspired algorithms and Cryptographic Protokolls.


  • Selbst-organisierende, adaptive Systeme (WS 10/11; WS 11/12)
  • Formale Methoden im Software Engineering (SS 10)
  • Seminar über fortgeschrittene Themen im Software Engineering (SS 10)
  • Programmieren von Java Smartcards (WS 09/10)
  • Seminar "Organic Computing" (SS 08)
  • Seminar "Systemmodellierung und Verifikation" (WS09/10; WS08/09; WS07/08)