- Search

- Kontakt

Dipl.-Inf. Han Hing Dang

me_new1

Researcher

E-mail: h.dang@informatik.uni-augsburg.de
Tel.: +49 821 598 - 2169
Fax: +49 821 598 - 2274
Room: 2003 (building N)
Address: Universitätsstrasse 6a
D-86159 Augsburg, Germany


How to find me: building N at campus, directions.

Research Interests:

  • Program verification with logical calculi
    • Logics of Hoare, Dijkstra and separation logic
    • Algebraic foundations for logical calculi
    • Pointer algorithms and concurrency
  • Algebraic Structures and their Applications in Computer Science
    • Automated reasoning
    • Semirings, Quantales
    • Iteration algebras (Kleene algebra, omega algebra)
    • Relational calculi

Recent Publications

All Publications

All Technical Reports