Andrzej Szałas
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].
| Data urodzenia |
4 października 1956 |
|---|---|
| profesor nauk matematycznych | |
| Specjalność: programowanie, matematyczne podstawy informatyki, logika w sztucznej inteligencji, bazy danych | |
| Alma Mater | |
| Doktorat |
1984 – informatyka |
| Habilitacja |
1991 – informatyka |
| Profesura |
1999 |
| profesor zwyczajny | |
| Uczelnia |
Uniwersytet Warszawski |
Życiorys
edytujStudia 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- ↑ Andrzej Piotr Szałas. monitorfirm.pl. [dostęp 2016-10-03]. [zarchiwizowane z tego adresu (2016-10-14)].
- ↑ a b Prof. dr hab. Andrzej Piotr Szałas, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-10-10].
- ↑ prof. dr hab. Andrzej Szałas. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ prof. dr hab. Andrzej Szałas. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Andrzej Szalas. Mathematics Genealogy Project. [dostęp 2016-10-03]. (ang.).
- ↑ Andrzej Szalas. liu.se. [dostęp 2020-09-11].
- ↑ Andrzej Szałas (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
- ↑ Andrzej Szałas (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
- ↑ prof. Andrzej Szałas (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
- ↑ Andrzej Szałas (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Andrzej Szałas (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
- ↑ Andrzej Szałas (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Andrzej Szałas (publikacje). researchgate.net. [dostęp 2016-10-01]. (ang.).