CURRICULUM VITAE

Nazwisko: Mirosława Grażyna Mirkowska-Salwicka

Stan rodzinny: mężatka, dwoje dzieci

• Magisterium: 1965, Wydział Matematyki Uniwersytetu Warszawskiego
• Doktorat: Logika algorytmiczna i jej zastosowania w teorii programów
  (1972, Wydział Matematyki i Mechaniki Uniwersytetu Warszawskiego)
• Habilitacja: PAL - Propositional Algorithmic Logic,
  (1981, Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)

PRACA ZAWODOWA

• programista 1964-1970 Zakład Obliczen Numerycznych, Uniwersytet Warszawski
• doktorant 1970-1972 UW
• adiunkt 1972-1986 Zakład Logiki Instytut Matematyki UW
• adiunkt 1986-1988 Zakład Systemów Automatyki Kompleksowej PAN
• docent 1988-1991 Instytut Informatyki UW
• stypendium badawcze Min. Badan i Technologii RF Bordeaux 1990-91
• profesor nadzwyczajny 1991-1992 Instytut Informatyki UW
• profesor 1991- 1995 Université de Pau
• profesor nadzwyczajny 1995-1996 Politechnika Białostocka
• profesor 1996- 1998 Université de Pau, Inst.d'Infomatique
• profesor nadzwyczajny 1998- 2000 Politechnika Białostocka, Instytut Informatyki
• Polsko - Japonska Wyższa Szkola Technik Komputerowych, profesor (1.10.2000-)

FUNKCJE AKADEMICKIE

Jestem członkiem nastepujących towarzystw naukowych:

• Polskiego Towarzystwa Matematycznego
• Polskiego Towarzystwa Symulacji Komputerowej
• Polskiego Towarzystwa Logiki Filozofii Nauki

• Jestem członkiem Komitetu Redakcyjnego
  Fundamenta Informaticae
• Do czerwca 2001 byłam członkiem Komitetu Redakcyjnego Theoretical Computer Science.
• Przez wiele lat byłam recenzentem Mathematical Review

INNE ZAINTERESOWANIA

• góry (lubię po nich chodzić)
• ogród (lubię się nim zajmować)
• muzyka (lubię słuchać klasycznej)