 |
||
| 0531 / 391 9524 |  |
|
| 0531 / 391 9529 |  |
|
| ed.sb-ut@suilim.s |  |
|
| Technische Universität Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 22-23 D-38106 Braunschweig Germany |
||
My research interests are category theory, the theory of coalgebras and their application to theoretical computer science. I am also interested in formal methods for software development such as formal verification.
Responsible:
Stefan Milius
Feedback to s.milius@tu-braunschweig.de
print version