Suche

Dipl.-Inf. Han Hing Dang


photo2_kl

Wiss. Mitarbeiter

E-Mail: h.dang@informatik.uni-augsburg.de
Telefon: +49 821 598 - 2169
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

  • Formale Programmverifikation
    • Algebraische Strukturen zur Beschreibung logischer Kalküle
    • Hoare Kalkül, sowie Separation Logic
    • Zeigeralgorithmen
    • Nebenläufige Systeme
  • Algebraische Strukturen und ihre Anwendungen in der Informatik
    • Halbringe, Quantale
    • Iterations Algebren (Kleene-Algebra, Omega-Algebra)
    • Relationen Algebra
  • Maschinengestütztes Theorembeweisen

Aktuelle Publikationen

Liste aller Publikationen

Liste aller Technische Berichte


Projektbeteiligungen

Förderungen

Betreute Vorlesungen aus Studiengebühren

Mathematik für Informatiker 1 (WS10/11)

studienbedingung