ROMAN    MATUSZEWSKI

R.M.                                                                         Statement for FTP election

University of Bialystok
Institute of Philosophy
Plac NZS 1
15-420 Bialystok, Poland

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





Bogdan Janski University
based in Łomża and in Warsaw.
Associate Professor: 1995 - today,
part-time (1/4 of full)
romat at mizar.org

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


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




14.02.2024, dr Roman Matuszewski