Roman Matuszewski

		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.org/0000-0003-2470-8946 Scholar.Google

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).
In 2023 we celebrate 50 years of Mizar:
(...)The first presentation of the Mizar ideology understood here as visionary speculation was presented by Andrzej [Trybulec] on November 14, 1973 at a seminar in the Institute of Library Science and Scientific Information at Warsaw University(...)
More on Mizar history can be found here: MIZAR: the first 30 years [bib file],
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).

In 2014 we celebrated 25 years of the Mizar Mathematical Library: Special Issue of the Formalized Mathematics 22(2) 2014.

Education

PhD in Computer Science, 2000, Shinshu State University, Nagano, Japan [2001, Wroclaw University of Science and Technology; Faculty of Electronics, Poland]
Master of Science in Mechanics, 1975, Warsaw University of Technology [MEiL], Poland
Engineer, 1973, Warsaw University of Technology, 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)
C.V.
CV - po polsku (in Polish)
Oferta dydaktyczna

Conference Chair

Mathematical Knowledge Management, MKM2004,
The QED Workshop II, 1995 [Report PDF].

Program Committee Member

Series of Conferences titled Technologies of Knowledge Exploration and Representation, Holny Mejera, Poland, since 2006 organized by Polish Information Processing Society (PTI).
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.

Organizing Committee

ITP 2023 - 14th Conference on Interactive Theorem Proving, July 31 - August 4, 2023, Białystok, Poland. (poster in PDF)
CICM 2016 - 9th Conference on Intelligent Computer Mathematics, July 25-29, 2016, Białystok, Poland. (poster in PDF)

Editor

Logic, Informatics, Philosophy of Science (Festschrift in Honour of Professor Kazimierz Trzęsicki) [in Polish], 2023,
From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, 2007, [bib file],
QED Workshop II Report, 1995, [PDF],
Formalized Mathematics, ISSN 1426 - 2630 (Print), 1898-9934 (Online) (since 1990).

Since 2006, papers have been published by the
DE GRUYTER-Sciendo.

Recommended Reading

History of the Mizar Project - Mizar: the first 30 years., [bib file],
Mizar: State-of-the-art and Beyond,
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar,
Special Issue: 40 Years of Mizar and Beyond, Journal of Automated Reasoning, 55(3)2015,
Special Issue: Formal Mathematics for Mathematicians, Journal of Automated Reasoning, 50(2)2013,
Mizar in a Nutshell,
A Brief Overview of Mizar.
The QED Manifesto,
The QED Manifesto Revisited,
Formally verified mathematics,
Proof assistants: History, ideas and future,
2024 - Notices of the American Mathematical Society: Mathematical Proof Between Generations.
2008 - Notices of the American Mathematical Society: A Special Issue on Formal Proof.

1969 Junior Championship in Poland.
Tintin in Mizar country (1985, by John Bedell, UCONN). And a live in 2008, 2009.
how-to-review, scientific editor and impact factor.
Marek Grechuta "Ocalić od Zapomnienia" - ostatni występ, jeszcze i jeszcze.
Zbigniew Preisner, La Double Vie de Veronique (mp3).
Jean-Philippe Rameau, des Indes Galantes and others .
J.J.Orliński - Arpeggiata, Ph.Jaroussky - Arpeggiata, jeszcze inaczej - Arpeggiata.
Three important: We are the World, Moja i Twoja Nadzieja, w czasie Pandemii.

17.12.2024, dr Roman Matuszewski