- Suche

- Kontakt

Dipl.-Inf. Florian Nafz

nafz_florian1

Wiss. Angestellter

E-Mail: nafz@informatik.uni-augsburg.de
Telefon: +49 821 598 - 2207
Fax: +49 821 598 - 2175
Raum: 3013N
Hausanschrift: Universitätsstr. 14
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.

My research includes the following topics:

  • Safety Analysis & Formal Verification of Self-organizing Systems
  • Constraint Solving, Constraint Solving Optimization and Partial Constraint Solving
  • Software Engineering for Self-organizing Systems

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

Teaching

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