REWERSE - reasoning on the web

Stephanie Spranger

Former Member of REWERSE participant


Former Involvement in REWERSE packages

A1, I3


Member of the PhD programme "Logics in Computer Science" until 01/2006.

Professional interests

Temporal Logics and Calculi, Logic Programming, Functional Programming, Semantic Web, Type Systems

Professional web page

go to top of page

Imprint      Privacy Disclaimer