Andrzej Salwicki
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.
| Państwo działania | |
|---|---|
| Data i miejsce urodzenia | |
| Profesor doktor habilitowany nauk matematycznych | |
| Specjalność: matematyczne podstawy informatyki, programowanie obiektowe | |
| Alma Mater | |
| Doktorat |
1 czerwca 1969 – matematyka |
| Habilitacja |
1 listopada 1974 – matematyka |
| Profesura |
20 grudnia 1983 |
| Wykładowca | |
| uczelnia |
Uniwersytet Warszawski, Université de Pau, Politechnika Białostocka, Uniwersytet Kardynała Stefana Wyszyńskiego |
Życiorys edytuj
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, 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 edytuj
- 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 edytuj
- ↑ Andrzej Salwicki Curriculum Vitae & Publications. univ-pau.fr. [zarchiwizowane z tego adresu (2006-04-13)].
- ↑ Wasielewska 2020 ↓, s. 163.
- ↑ Telekomunikacja i Techniki Informacyjne 3/4 2008 Obliczenia rozproszone w sieci, możliwości Javy i oferta Loglanu
- ↑ Władze Poltechniki Białostockiej (na rok 1999). [dostęp 2020-07-13].
- ↑ Historia rozwoju informatyki na UKSW. [dostęp 2020-07-13].
Bibliografia edytuj
- Karolina Wasielewska: Cyfrodziewczyny. Wydawnictwo Krytyki Politycznej, 2020. ISBN 978-83-66232-87-7.