Dipl.-Inf. Han Hing Dang

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.

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