Stephanie Spranger

Former Member of REWERSE participant

Munich

Former Involvement in REWERSE packages

A1, I3

Employments

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

http://www.pms.ifi.lmu.de/mitarbeiter/spranger/