CURRICULUM  VITAE

1.	Imię i nazwisko:  	      ROMAN   MATUSZEWSKI
2.	Kontakt:			      e-mail: romat@mizar.org
                                                 http://mizar.org/people/romat/

3.	Dyscypliny naukowe:      informatyka, logika

4.	Wykształcenie:		    - mgr inż,  1975,   Politechnika Warszawska (MEiL)
                                             - dr inż,  2000,  Shinshu University, Nagano, Japonia

5.	Zatrudnienie:                  -  1975 - 1976, Politechnika Warszawska
     - 1976 - 1997, Uniwersytet Warszawski (F. Białystok),
                               - Instytut Matematyki,
                               - Katedra Logiki i Informatyki
     - 1997 -           Uniwersytet w Białymstoku 

6.	Staże naukowe:	     - 1996, 2000, 2004, 2009, Shinshu  University, Nagano,                 
                                                                                        Japonia
                                             -  1984 – 1992, Universite Catholique de Louvain, 
                        Belgia
     - 1986 – 1987, Deutsche  Lehranstalten fur Agrartechnik
                              (DEULA), Niemcy

7.	Tematyka badań naukowych: 
                                       - sprawdzona komputerowo baza wiedzy matematycznej
                                       - komputerowe tłumaczenie matematyki na język naturalny

8.	Ostatnie publikacje:
-	Some Special Sequences of Points on a Plane, Special Issue: Jordan Curve Theorem, Mechanized Mathematics and Its Applications, Vol.6, Nr.1, 2007, 
      pp.55-62., with Mariusz Giero,
-	Computer assisted approach to automated reasoning, Studies in Logic, Grammar and Rhetoric (kat A KBN), Vol. 9(22), Białystok, 2006,
-	Computer Checked Mathematical Texts Presented in Natural Language, International Congress of Mathematicians, ICM 2006,  Madryt, 
-	Philippe le Hodey Foundation – supporting scientific research in Poland, proceedings of the conference  Metody ilościowe w badaniach ekonomicznych, SGGW, 2005,
     -   Mizar: the first 30 years, Mechanized Mathematics and Its Applications,
         Vol.4, Nr.1, 2005, with Piotr Rudnicki,
     -   Mizar texts automatically translated into English, Proceedings of the 
         Conference “Systems for integrated computation and deduction”, CADE 99, 
         Trento, 1999,
     -   Automatic Translation of Machine-Checked Mathematical Texts into 
          English, Proceedings of the 11-th International Congress of Logic, 
          Methodology and Philosophy of Science, Cracow, 1999,
     -    Computer aided teaching of mathematics (in Polish), Zarządzanie i 
          Edukacja 18, WSZiP Warsaw, 1999,
-	Journal of Formalized Mathematics – a collection of mechanically         checked articles, Proceedings of International Congress of Mathematicians, 
      ICM 98, Berlin, 1998,
-	Projections in n-Dimensional Euclidean Space to Each Coordinates, Formalized Mathematics, Vol.6, Nr.4, 1997 (with Yatsuka Nakamura),
-	Mizar MSE – a computer aided course for elementary logic of quantifiers, Proceedings of International Congress of Mathematicians, ICM 94, 
     Zurich, 1994.

9.	 Działalność badawcza (ostatnie granty):
-	wykonawca w grancie Min.Nauki: Zarządzanie dużym repozytorium komputerowo zweryfikowanej wiedzy matematycznej, 2009-2011, (N N519 385136),
-	wykonawca w grancie Min.Nauki: Temporalna reprezentacja wiedzy i jej 
     implementacja w informatycznych systemach wspomagania postępowania 
     medycznego, 2006-2009, (3 T11F  011 30),
-	wykonawca w grancie Wspólnoty Europejskiej: TYPES II  - Types for Proofs and Programs, 2004 – 2008 (IST-2002-C-510996),
-	wykonawca w grancie KBN: Nierozstrzygalność i algorytmiczna 
     niedostępność w naukach społecznych, 2003-2006, (2 H01A 030 25),
-	wykonawca w grancie KBN: Nowe techniki komputerowo wspomaganej 
     formalizacji matematyki, 2003-2005, (4 T11C 039 24),
-	wykonawca w grancie Wspólnoty Europejskiej: MKMNET – Mathematical Knowledge Management, 2002 – 2003 (IST-2001-37057),
-	wykonawca w grancie Wspólnoty Europejskiej: TRIAL SOLUTION – Tools for Learning Systems, 2001 – 2002 (IST-2001-35447),
-	wykonawca w grancie Wspólnoty Europejskiej: CALCULEMUS - Systems for Integrated Computation and Deduction, 2000 – 2004 (HPRN-CT-2000-00102),
-	wykonawca w grancie Wspólnoty Europejskiej: TYPES – Computer Assisted Reasoning Based on Type Theory, 1999 – 2003 (IST-1999-29001),
-	główny wykonawca w grancie KBN: Badania nad  naturalną i sztuczną 
     inteligencja za pomocą automatyzacji rozumowań, 1997-1999 (8 T11C 018 12),
-	wykonawca w grancie Office of Naval Research (USA): Further Development 
    of Journal Formalized Mathematics, 1997 – 1998 (N00014-97-1-0777),
-	główny wykonawca w grancie Office of Naval Research (USA): Automated Hyperlinking in an Electronic Mathematical Proof-Checked Journal, 1995-1996 (N00014- 95-1-1336),
-	kierownik wspólnego grantu Komitetu Badań Naukowych i Office of Naval Research (USA): The QED Workshop – Computer Oriented Formalization of Mathematics, 1995, pod patronatem Prezesa Rady Ministrów RP (OGT 42/95, N00014-95-M-0072),
-	główny wykonawca w grancie Systeme informatique de modernisation des 
     fermes familiales, 1987 - 1988 (Brussels, DG XII, PHARE).

10.	Redaktor:
-    From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, 2007,
-    QED Workshop II  Report, 1995,
-    Czasopismo Formalized Mathematics, od 1990.

11.	 Inne:
-   conference Chair międzynarodowej konferencji  Mathematical Knowledge 
     Management, MKM2004, Bialowieza, http://mizar.org/MKM2004/
-   conference Chair międzynarodowej konferencji QED Workshop II, 
     Warszawa, 1995,
-    członek komitetu programowego serii konferencji Technologie Eksploracji i   
     Reprezentacji Wiedzy, Holny Mejera, 2006, 2007, 2008, 2009,
-    członek komitetu programowego i recenzent międzynarodowych warsztatów
     30 years of  Mizar, Bialowieza, 2004,
-	członek komitetu programowego i recenzent międzynarodowej konferencji Proof Transformation and Presentation, and Proof Complexities, International Joint Conference on Automated Reasoning, Siena, 2001,
-	członek (elected full member) International Academy of Sciences of Nature and Society, Moskwa, od 1997, 
-	członek Association for Automated Reasoning, od 1994,
     (http://www.aarinc.org/Members.html),
-	sekretarz naukowy seminarium Wspólnoty Europejskiej, DG XII, Bruksela, 
     1987 – 1988, 
-	srebrny krzyż zasługi za działalność naukową w 2004 r.
-	brązowy krzyż zasługi za działalność naukową w 1981 r.