CURRICULUM  VITAE

1.	Name:  	 	                ROMAN   MATUSZEWSKI
2.	Contact:			      e-mail: romat@mizar.org
                                                 http://mizar.org/people/romat/

3.	Scientific fields:       	      computer science, logic

4.	Education:		    - m.sc, eng.  1975,   Warsaw Technical University
                                             - PhD,  2000,  Shinshu University, Nagano, Japan

5.	Emplyment:                    -  1975 - 1976, Warsaw Technical University
     - 1976 - 1997, Warsaw University (Białystok),
                              - Institute of Mathematics,
                              - Department of Logic and Informatics
     - 1997 -          University of Bialystok

6.	Scientific experience:	      - 1996, 2000, 2004, 2009, Shinshu  University, Nagano,                 
                                                                                         Japan
- 1984 – 1992, Universite Catholique de Louvain, 
                         Belgium
- 1986 – 1987, Deutsche  Lehranstalten fur 
                         Agrartechnik (DEULA), Germany

7.	Scientific research:   - computer oriented formalisation of mathematics
                                       - computer checked mathematical texts presented in 
                                          natural language
                                       - mathematical knowledge management
8.	Last publications:
-	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.	 Last scientific grants:
-	member of the European Union 6FP Project: TYPES II  - Types for Proofs and Programs, 2004 – 2008 (IST-2002-C-510996),
-	member of the European Union 5FP Project: MKMNET – Mathematical 
    Knowledge Management, 2002 – 2003 (IST-2001-37057),
-	member of the European Union 5FP Project: TRIAL SOLUTION – Tools for Learning Systems, 2001 – 2002 (IST-2001-35447),
-	member of the European Union 5FP Project: CALCULEMUS - Systems for Integrated Computation and Deduction, 2000 – 2004 (HPRN-CT-2000-00102),
-	member of the European Union 5FP Project: TYPES – Computer Assisted Reasoning Based on Type Theory, 1999 – 2003 (IST-1999-29001),
-	member of the Polish Ministry of Science Project: Management  of the data base of the computer checked mathematical knowledge, 2009-2011, (N N519 385136), 
-	member of the Polish Ministry of Science Project: Temporal representation of the knowledge and their implementation in the medical systems, 2006-2009, (3 T11F  011 30),
-	member of the Polish State Scientific Research Committee Project: 
     Undecidability and Algorithmic Intractability in the Social Sciences, 
    2003-2006, (2 H01A 030 25),
-	member of the Polish State Scientific Research Committee Project: New techniques for the computer aided formalization of mathematics, 2003-2005, 
    (4 T11C 039 24),
-	co-principial investigator in the Polish State Scientific Research Committee 
     Project: Research on the natural and arificial intelligence with use of automated  
    reasoning, 1997-1999 (KBN 8 T11C 018 12),
-	member of the Office of Naval Research (USA) Project: Further Development 
    of Journal Formalized Mathematics, 1997 – 1998 (N00014-97-1-0777),
-	co-principial investigator of the Office of Naval Research (USA) Project: Automated Hyperlinking in an Electronic Mathematical Proof-Checked Journal, 1995-1996 (N00014- 95-1-1336),
-	proncipial investigator in the Joint Project of the Office of Naval Research (USA) and the Polish State Scientific Research Committee: The QED 
    Workshop – Computer Oriented Formalization of Mathematics, 1995, under  
    auspices of the Polish Prime Minister(OGT 42/95, N00014-95-M-0072),
-	co-principial investigator of the project Systeme informatique de modernisation des fermes familiales, 1987 - 1988 (Brussels, DG XII, PHARE).

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

12. Other:
-   Conference Chair in the Mathematical Knowledge Management Conference,
      MKM2004, Bialowieza, http://mizar.org/MKM2004/  
-   Conference Chair in the QED Workshop II, Warsaw, 1995,
-    Program Committee member in the series of conferences titled Technologies
      of Knowledge Exploration and Representation, Holny Mejera, Poland, 2006,  
      2007, 2008,
-    Program Committee member and reviewer in the workshop 30 years of  
      Mizar, Bialowieza, 2004,
-	Program Committe member and reviewer in the workshop Proof Transformation and Presentation, and Proof Complexities, International Joint Conference on Automated Reasoning, Siena, 2001,
-	elected full member International Academy of Sciences of Nature and Society, Moscow, from 1997, 
-	member Association for Automated Reasoning, from 1994,
     (http://www.aarinc.org/Members.html),
-	scientific secretary of the scientific project of European Union, DG XII, 
     Brussels, 1987 – 1988, 
-	silver merit cross of the Republic of Poland for scientific activity in 2004.
-	bronze merit cross of the Republic of Poland for scientific activity in 1981.