ROMAN    MATUSZEWSKI

R.M.                                                                         Statement for FTP election

University of Bialystok

Institute of Informatics (Editor-in-Chief).

Institute of Philosophy (Courses):
Plac NZS 1
15-420 Bialystok, Poland

Retired since 2018
Associate Professor: 2004 - 2018
Senior Research Scientist: 1986 - 2003

romat at mizar.org

http://mizar.org/people/romat/


         Google Scholar        ORCID iD iconorcid.org/0000-0003-2470-8946




Publications.
Grants.
The Mizar Project. (An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software)
C.V.
CV - po polsku (in Polish)
Oferta dydaktyczna




05.11.2021, dr Roman Matuszewski