ROMAN    MATUSZEWSKI

R.M.                                                                         Statement for FTP election

University of Bialystok
Department of Logic
Plac Uniwersytecki 1
15-420 Bialystok, Poland

Associate Professor: 2004 - present
Senior Research Scientist: 1986 - 2003

Office: phone
fax
+48 85 745.75.10, +48 85 745.74.76
+48 85 745.74.78
romat at mizar.org

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




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)
CV - in English
CV - po polsku (in Polish)





19.1.2014, dr Roman Matuszewski