Johannes Nigl
RISC Student
Thesis topic: Theorema Project: Tracing Computations (Advisor: Wolfgang Windsteiger), since 2014-05-13.
Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria
| Phone: | none |
| Web: | http://www.risc.jku.at/home/jnigl/ |
|
![](/people/pictures/nopicture-screen.jpg?id=817200313")