- Suche

- Kontakt

Dipl.-Inf. Florian Nafz

nafz_florian1

Wiss. Mitarbeiter

E-Mail: nafz@informatik.uni-augsburg.de
Telefon: +49 821 598 - 2207
Fax: +49 821 598 - 2175
Raum: 3013N
Hausanschrift: Universitätsstr. 6a
86135 Augsburg


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
  • 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.

Teaching

  • 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)