Andrzej Szałas

polski informatyk

Andrzej Piotr Szałas (ur. 4 października 1956[1]) – polski matematyk i informatyk, profesor nauk matematycznych. Specjalizuje się matematycznych podstawach informatyki, logice w sztucznej inteligencji, bazach danych oraz w metodach i technikach programowania. Profesor zwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[2][3][4].

Andrzej Szałas
Data urodzenia

4 października 1956

profesor nauk matematycznych
Specjalność: programowanie, matematyczne podstawy informatyki, logika w sztucznej inteligencji, bazy danych
Alma Mater

Uniwersytet Warszawski

Doktorat

1984 – informatyka
Uniwersytet Warszawski

Habilitacja

1991 – informatyka
Uniwersytet Warszawski

Profesura

1999

profesor zwyczajny
Uczelnia

Uniwersytet Warszawski

Życiorys

edytuj

Studia z matematyki ukończył na Uniwersytecie Warszawskim, gdzie następnie został zatrudniony i zdobywał kolejne awanse akademickie. Stopień doktorski uzyskał w 1984 na podstawie pracy pt. Prace eksperymentalne nad językiem programowania właściwym do tworzenia systemów operacyjnych, przygotowanej pod kierunkiem prof. Andrzeja Salwickiego[5]. Habilitował się w 1991 na podstawie oceny dorobku naukowego i rozprawy pt. Specyfikacja i dowodzenie własności algorytmów i struktur danych w logice temporalnej. Tytuł naukowy profesora nauk matematycznych otrzymał w 1999[2]. Poza macierzystym UW pracuje także na szwedzkim Uniwersytecie w Linköping[6]

Swoje prace publikował w takich czasopismach jak m.in. „Journal of Automated Reasoning”, „Theoretical Computer Science” „Journal of Logic And Computation”, „Data & Knowledge Engineering", „Neurocomputing" oraz „Fundamenta Informaticae”[7][8][9][10][11][12][13].

Przypisy

edytuj
  1. Andrzej Piotr Szałas. monitorfirm.pl. [dostęp 2016-10-03]. [zarchiwizowane z tego adresu (2016-10-14)].
  2. a b Prof. dr hab. Andrzej Piotr Szałas, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-10-10].
  3. prof. dr hab. Andrzej Szałas. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  4. prof. dr hab. Andrzej Szałas. mimuw.edu.pl. [dostęp 2016-07-14].
  5. Andrzej Szalas. Mathematics Genealogy Project. [dostęp 2016-10-03]. (ang.).
  6. Andrzej Szalas. liu.se. [dostęp 2020-09-11].
  7. Andrzej Szałas (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
  8. Andrzej Szałas (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
  9. prof. Andrzej Szałas (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
  10. Andrzej Szałas (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
  11. Andrzej Szałas (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
  12. Andrzej Szałas (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
  13. Andrzej Szałas (publikacje). researchgate.net. [dostęp 2016-10-01]. (ang.).