Hyppää pääsisältöön

Oma esittely

 Akatemiatutkija, dosentti

Homepage  

Osaamisalueiden kuvaus

matemaattinen logiikka ja teoreettinen tietojenkäsittelytiede

Homepage