RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
projects
|
research
|
education
|
industry
internal
  
search:
  

>
>
>

Welcome to the homepage of Nikolaj Popov

Myself

I am mathematician and computer scientist and work at the Research Institute for Symbolic Computation (RISC-Linz) in Hagenberg, Austria.
I belong to the Theorema group of Bruno Buchberger and Tudor Jebelan at RISC.

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:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenbergerstraß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


Tutorials, lectures and other presentations I consider interesting

A great Tutorial on Machine Learning.
A very useful E-Book on Mathematical Logic.


Books I have recently read

The Fifth Mountain by Paulo Coelho.
Alcohol by Kalin Terziyski (in Bulgarian).


webmaster