Roman Matuszewski - home page

ROMAN MATUSZEWSKI

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.78

romat at mizar.org

Research

Mizar Project - automated reasoning, automated deduction, automated proof checking, practical formalization of mathematics. I am the member of the Mizar Group since 1973 (from beginning of the Project), author of the implementation of the Mizar-MSE system - used to teaching of logic and foundation of mathematics (on the University level).
Computer oriented formalisation of mathematics, computer reconstruction of the technology of mathematics (co-author of the Mizar articles).
Computer checked mathematical texts presented in natural language (editor of the Formalized Mathematics).

Education

PhD in Computer Science, 2000, Shinshu State University, Nagano, Japan
Master of Science in Mechanics, 1975, Warsaw Technical University, Warsaw, Poland
Engineer, 1973, Warsaw Technical University, Plock Campus, Poland

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)

Conference Chair

Mathematical Knowledge Management, MKM2004,
The QED Workshop II, 1995.

Program Committee Member

Series of Conferences titled Technologies of Knowledge Exploration and Representation, Holny Mejera, Poland, 2006, 2007, 2008.
30 years of Mizar, Workshop, Bialowieza, September 18, 2004,
PTP-04 (Re-Presentations and Transformations of Proofs), Cork 2004,
PTP-01 (Presentations and Transformations of Proofs), Siena 2001.

Editor

From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, 2007, [bib file],
QED Workshop II Report, 1995, [PDF],
Formalized Mathematics, ISSN 1426 - 2630 (since 1990). High Rank in CiteSeerX

History of the Mizar Project - Mizar: the first 30 years., [bib file],
The QED Manifesto,
The Journal of Formalized Mathematics.

Varia

scientific editor, impact factor
Tintin in Mizar country (1985, by John Bedell, UCONN). And a live in 2008.

27.7.2008(lasek), dr Roman Matuszewski