Dipl.-Inf. Han Hing Dang

Wiss. Mitarbeiter

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

• Algebraische Kalküle für Separationslogik (AlgSep)

Förderungen

• FloC 2010 - Student Travel Grant
• CADE 2011 - Woody Bledsoe Award

Betreute Vorlesungen aus Studiengebühren

Mathematik für Informatiker 1 (WS10/11)