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.74.76
+48 85 745.74.78

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

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-in-chief 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, 2009, 2010, 2011, 2012.
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).

Since 2006, papers have been published on the
DE GRUYTER server.

High Rank in CiteSeerX

History of the Mizar Project - Mizar: the first 30 years., [bib file],
Mizar in a Nutshell,
A Brief Overview of Mizar.
The QED Manifesto,
The QED Manifesto Revisited,
Proof assistants: History, ideas and future,
Notices of the American Mathematical Society: A Special Issue on Formal Proof,
An example of mathematics formalization in Mizar: Formalizing Arrow’s theorem,
Formal Proofs and Refutations - PhD of Jesse Alama (Stanford University).

Varia

scientific editor, impact factor,
Tintin in Mizar country (1985, by John Bedell, UCONN). And a live in 2008, 2009,
Gardenco, LED-Partner,
Serwis polecany przez: Good Sites, Link Resources oraz LinkVote.

13.3.2013, dr Roman Matuszewski