Mirosława Grażyna Mirkowska-Salwicka (ur. 23 kwietnia 1943) – polska informatyczka, profesor nauk matematycznych.
Życiorys W 1965 roku ukończyła wyższe studia matematyczne na Uniwersytecie Warszawskim. Tam też otrzymała stopień naukowy doktora w 1972 na podstawie pracy Logika algorytmiczna i jej zastosowania w teorii programów (promotorka – Helena Rasiowa) oraz habilitowała się w 1981, przedstawiając dzieło PAL – Propositional Algorithmic Logic. W 2012 otrzymała tytuł profesora nauk matematycznychPostanowienie Prezydenta Rzeczypospolitej Polskiej z dnia 21 grudnia 2012 r. nr 115-15-12 w sprawie nadania tytułu profesora ()Postanowienie Prezydenta Rzeczypospolitej Polskiej z dnia 17 stycznia 2013 r. nr 115-2-2013 zmieniające postanowienie w sprawie nadania tytułu profesora ().
Jej zainteresowania naukowe obejmują: specyfikację struktur danych, systemy wieloagentowe, procesy współbieżne i rozproszone, formalne metody weryfikacji programów. Razem z mężem, Andrzejem Salwickim, pracowała nad logiką algorytmiczną i metodologią programowania.
Pracę zawodową rozpoczęła w 1964 jako programistka w nowo utworzonym Zakładzie Obliczeń Numerycznych UW. Od 1970 do 1972 doktorantka na UW. W latach 1972–1986 adiunktka w Zakładzie Logiki Instytutu Matematyki UW. Od 1986 do 1988 adiunktka w Zakładzie Systemów Automatyki Kompleksowej PAN. Przez kolejne trzy lata, do 1991, docent w Instytucie Informatyki UW. Rok 1990/1991 spędziła na stypendium w Bordeaux celem nauki języka francuskiego. W 1991 została profesor nadzwyczajną w Instytucie Informatyki UW. Od 1991 do 1995 oraz od 1996 do 1998 wykładała algorytmikę jako profesor na . Z kolei od 1995 do 1996 oraz od 1998 do 2000 pracowała w Instytucie Informatyki Politechniki Białostockiej. W 2000 została zatrudniona w Polsko-Japońskiej Wyższej Szkole Technik Komputerowych. Pracowała także na Uniwersytecie Kardynała Stefana Wyszyńskiego w Warszawie.
Członkini Polskiego Towarzystwa Matematycznego, Polskiego Towarzystwa Symulacji Komputerowej, Polskiego Towarzystwa Logiki Filozofii Nauki. Członkini komitetu redakcyjnego „Fundamenta Informaticae” oraz „Theoretical Computer Science” (do 2001).
Pod koniec lat 60. wyszła za mąż za Andrzeja Salwickiego. Matka dwójki dzieci. Mieszka w Łomiankach.
Publikacje
Przypisy
Bibliografia
Linki zewnętrzne strona domowa
Kategoria:Absolwenci Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Członkowie Polskiego Towarzystwa Matematycznego Kategoria:Ludzie związani z Łomiankami Kategoria:Ludzie związani z Pau Kategoria:Polscy informatycy Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Polscy programiści Kategoria:Pracownicy instytutów naukowych PAN Kategoria:Urodzeni w 1943 Kategoria:Nauczyciele akademiccy Politechniki Białostockiej Kategoria:Nauczyciele akademiccy uczelni we Francji Kategoria:Nauczyciele akademiccy Wydziału Matematyczno-Przyrodniczego Uniwersytetu Kardynała Stefana Wyszyńskiego Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego