|
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
Address:
Office: Tutorials, lectures and other presentations I consider interesting
A great Tutorial on Machine Learning.
Books I have recently read
The Fifth Mountain by
Paulo Coelho.
|