Andrzej Salwicki

Andrzej Salwicki
Państwo działania

Polska

Data i miejsce urodzenia

28 kwietnia 1938
Stanisławów

Profesor doktor habilitowany nauk matematycznych
Specjalność: matematyczne podstawy informatyki, programowanie obiektowe
Alma Mater

Uniwersytet Warszawski

Doktorat

1 czerwca 1969 – matematyka
Uniwersytet Warszawski

Habilitacja

1 listopada 1974 – matematyka
Uniwersytet Warszawski

Profesura

20 grudnia 1983

Wykładowca
uczelnia

Uniwersytet Warszawski, Université de Pau, Politechnika Białostocka, Uniwersytet Kardynała Stefana Wyszyńskiego

Andrzej Józef Salwicki (ur. 28 kwietnia 1938 w Stanisławowie[1]) – profesor informatyki, wraz z Heleną Rasiową założył czasopismo „Fundamenta Informaticae”[2]. Pracował nad logiką algorytmiczną oraz językiem programowania Loglan.

Życiorys

W 1960 ukończył studia na Wydziale Matematyki i Fizyki Uniwersytetu Warszawskiego, w 1969 uzyskał stopień doktora, w 1974 stopień doktora habilitowanego. W latach 1959–1964 był pracownikiem naukowym Instytutu Maszyn Matematycznych PAN, w latach 1964–1992 i 2000–2006 pracownikiem naukowo-dydaktycznym Instytutu Informatyki Uniwersytetu Warszawskiego. W latach 1990–1998 pracował jako profesor Université de Pau(inne języki), a od 2007 profesor w Instytucie Łączności w Warszawie. W 1968 zainicjował program badawczy logika algorytmiczna (osiem lat wcześniej przed logiką dynamiczną w MIT, USA); jest również inicjatorem programu badawczego Loglan – język programowania obiektowego (1977 rok – kilkanaście lat wcześniej niż język Java). Jest autorem kilku książek i wielu artykułów naukowych; wypromował 17 doktorów (większość z nich została później profesorami na uczelniach w Polsce, USA, Kanadzie, Meksyku i Niemczech)[3].

Były dyrektor Instytutu Informatyki Politechniki Białostockiej[4]. Do 2010 pełnił rolę kierownika Katedry Informatyki i Ekonometrii Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie[5]. Główne zainteresowania naukowe to: logika algorytmiczna i jej zastosowania w inżynierii oprogramowania, programowanie obiektowe i rozproszone. Mąż Grażyny Mirkowskiej-Salwickiej.

Wybrane publikacje

  • Grażyna Mirkowska, Andrzej Salwicki: Algorithmic Logic. Warszawa: PWN, 1987, s. 345.
  • Grażyna Mirkowska, Andrzej Salwicki: Logika Algorytmiczna dla Programistów cz. 1. Warszawa: WNT, 1992, s. 294.
  • Grażyna Mirkowska, Andrzej Salwicki: Logika Algorytmiczna dla Programistów cz. 2. Warszawa: WNT, 1992, s. 294.
  • Lech Banachowski, Antoni Kreczmar, Grażyna Mirkowska, Helena Rasiowa, Andrzej Salwicki: An introduction to Algorithmic Logic – Metamathematical Investigations of Theory of Programs. T. 2: Banach Center Publications. Warszawa: PWN, 1977, s. 7–99, seria: Banach Center Publications.

Przypisy

  1. Andrzej Salwicki Curriculum Vitae & Publications. univ-pau.fr. [zarchiwizowane z tego adresu (2006-04-13)].
  2. Wasielewska 2020 ↓, s. 163.
  3. Telekomunikacja i Techniki Informacyjne 3/4 2008 Obliczenia rozproszone w sieci, możliwości Javy i oferta Loglanu
  4. Władze Poltechniki Białostockiej (na rok 1999). [dostęp 2020-07-13].
  5. Historia rozwoju informatyki na UKSW. [dostęp 2020-07-13].

Bibliografia

  • Karolina Wasielewska: Cyfrodziewczyny. Wydawnictwo Krytyki Politycznej, 2020. ISBN 978-83-66232-87-7.
  • ISNI: 0000000110764643
  • ORCID: 0000-0002-3646-9754
  • VIAF: 91565078, 9642159477840427990002
  • LCCN: n83165614
  • BnF: 13528652p
  • SUDOC: 050653539
  • NLA: 35131142
  • NTA: 069176639
  • BIBSYS: 90346931, 90348948
  • CiNii: DA02080758
  • PLWABN: 9810563824005606
  • NUKAT: n93122799
  • J9U: 987007444862805171
Identyfikatory zewnętrzne:
  • identyfikator osoby w serwisie „Nauka Polska”: 26069
  • Ludzie Nauki: mneyhMCG3Uq