Johannes Kepler University - Research Institute for Symbolic Computation
https://risc.jku.at/
Education

Linz, Upper Austria
Austria
@