Paweł Wojciechowski (informatyk)
Paweł Tomasz Wojciechowski – polski inżynier informatyk, doktor habilitowany nauk technicznych. Specjalizuje się w systemach rozproszonych, językach i narzędziach programowania, semantyce formalnej oraz modelach i weryfikacji obliczeń współbieżnych i rozproszonych. Adiunkt na Wydziale Informatyki Politechniki Poznańskiej.
Doktor habilitowany nauk technicznych | |
Specjalność: informatyka | |
Alma Mater | |
---|---|
Doktorat |
2000 – informatyka |
Habilitacja |
2008 – informatyka |
Nauczyciel akademicki | |
Uczelnia |
Politechnika Poznańska |
Okres zatrudn. |
od 2005 |
Studia na kierunku informatyka ukończył na Politechnice Poznańskiej w 1993. Stopień doktorski uzyskał na University of Cambridge w 2000 na podstawie pracy pt. Nomadic Pict: Projekt języka i infrastruktury do obliczeń mobilnych, przygotowanej pod kierunkiem prof. Kena Moody'ego oraz prof. Petera Sewella. Staż podoktorski odbył na szwajcarskiej Politechnice Federalnej w Lozannie[1]. W 2005 powrócił na macierzystą uczelnię, gdzie habilitował się w 2008 na podstawie dorobku naukowego i rozprawy pt. Projekt języka operacji atomowych, deklaratywnej synchronizacji i dynamicznej aktualizacji w systemach komunikacyjnych[2][3][4]. Jest autorem wielu publikacji naukowych[5][6][1].
Przypisy
edytuj- ↑ a b Paweł T. Wojciechowski. [dostęp 2016-05-13]. (ang.).
- ↑ Language design for atomicity, declarative synchronization, and dynamic update in communicating systems / Paweł Tomasz Wojciechowski.. Katalog Biblioteki Narodowej. [dostęp 2016-05-10].
- ↑ Dr hab. inż. Paweł Tomasz Wojciechowski, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-05-13] .
- ↑ Pracownicy. fc.put.poznan.pl (Wydział Informatyki Politechniki Poznańskiej). [dostęp 2016-03-24]. [zarchiwizowane z tego adresu (2016-04-01)].
- ↑ author:"PT Wojciechowski" (publikacje). scholar.google.pl. [dostęp 2016-05-06]. (ang.).
- ↑ Paweł Wojciechowski. researchgate.net. [dostęp 2016-05-09]. (ang.).