- Informatik »
- Lehrstühle »
- Datenbanken und Informationssysteme »
- Prof. Möller »
- Mitarbeiter »
- Andreas Zelend
Dipl.-Inf. Andreas Zelend
Wiss. Mitarbeiter
| E-Mail: | zelend@informatik.uni-augsburg.de |
| Telefon: | +49 821 598 - 3109 |
| Fax: | +49 821 598 - 2274 |
| Raum: | 2047 (Gebäude N) |
| Hausanschrift: |
Universitätsstrasse 6a
86159 Augsburg |
So finden Sie uns: Gebäude N im Lageplan, Anfahrt.
Wissenschaftliche Interessen
- Algebra-Basierte Feature-Orientierte Programmsynthese
- Formale Programmverifikation
- Algebraische Systembeschreibung
-
- Halbringe mit Domain
- Iterations Algebren (Kleene-Algebra)
- Relationen Algebra
- Maschinengestütztes Theorembeweisen
Aktuelle Publikationen
Liste aller Publikationen
Liste aller Technische Berichte
Projektbeteiligungen
- Algebra-Basierte Feature-Orientierte Programmsynthese (FeatureFoundation)
- Personalisierte Tourenplanung für mobile Touristikanwendungen (PeToMoTo)
Lehre
Siehe Lehrveranstaltungen ab Wintersemester 13/14- [Impressum]
- [Datenschutz]
- 14.11.2018