He has worked for several years on parallel and distributed systems for symbolic and algebraic computation using various declarative languages, mathematical libraries, and computer algebra systems. For details on his recent work, see www.risc.uni-linz.ac.at/people/schreine.