Nikolaj Popov, Dr.
RISC Faculty
Working area: Program Verification
Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria
| Phone: | +43 732 2468 9926 |
| Fax: | +43 732 2468 9930 |
| Mobile: | +43 650 758 1987 |
| EMail: | Nikolaj.Popov@risc.jku.at |
| Web: | http://www.risc.jku.at/home/npopov/ |
Office:
Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis
Room 1.7-5
|
![](/people/pictures/npopov-screen.jpg?id=167314220")