Welcome to the homepage of Nikolaj PopovMyself
I am mathematician and computer scientist and
work at the Research Institute for Symbolic Computation
(RISC-Linz) in Hagenberg, Austria.
My main scientific interests are mathematical logic, formal methods, semantics of programming languages, symbolic computation, computer algebra, and the applications of all that in programming, program verification, and elsewhere.
Where to find me
Tutorials, lectures and other presentations I consider interesting
Books I have recently read