Paweł T. Wojciechowski

Adiunkt - nauczyciel akademicki, Politechnika Poznańska, Instytut Informatyki.
Habilitacja: 2008, Politechnika Poznańska
Doktorat (Ph.D.): 2000, Uniwersytet Cambridge

Dane kontaktowe oraz informacje dla odwiedzających kampus Politechniki.

Praca naukowa

Moje badania naukowe dotyczą projektowania języków programowania i algorytmów dla systemów współbieżnych i rozproszonych. W szczególności interesują mnie obliczenia mobilne, statyczne systemy typów, oraz rozproszone algorytmy, w kontekście synchronizacji, dynamicznej zamiany protokołów, oraz odporności na błędy przez replikację.

Moim celem naukowym jest projektowanie języków programowania i narzędzi weryfikacji do implementacji systemów współbieżnych i rozproszonych z gwarancją niezawodności. Jak dotąd, mój wkład obejmuje: typowany, rozproszony język programowania do obliczeń mobilnych (Nomadic Pict), konstrukcje programistyczne do atomowości i deklaratywnej synchronizacji, oraz narzędzie do budowy protokołów modularnych ze wsparciem dynamicznej zamiany protokołów (SAMOA). Brałem też udział w projektowaniu nowej platformy do komunikacji grupowej. Skrótowy opis tych prac, włączając eksperymentalne implementacje, znaleźć można na stronach odpowiednich projektów (zob. niżej).

Monografie: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems. Wydawnictwo PP, 2007. Ostatnie artykuły: Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation. Sewell, Wojciechowski, Unyapoth. Accepted to appear in ACM TOPLAS, 2009. Extending Atomic Tasks to Distributed Atomic Tasks. Paweł T. Wojciechowski. In the Proc. of CAV '08 (the 20th International Conference on Computer Aided Verification) - Workshop on Exploiting Concurrency Efficiently and Correctly (EC)^2, July 2008. [In ps] Verifying Overlay Networks for Relocatable Computations (or: Nomadic Pict, relocated). Peter Sewell and Paweł T. Wojciechowski. In the Proc. of Workshop on the Rise and Rise of the Declarative Datacentre, May 2008. Appeared as Microsoft Research Technical Report MSR-TR-2008-61. Wszystkie artykuły dostępne są tutaj. Projekty i oprogramowanie: IT-SOA - wiarygodna architektura usług; strona lokalna (dostęp ograniczony) [2008- ] Moje podprojekty w ramach tego projektu (strony w trakcie tworzenia): Atomic Services - atomowe wywołania metod dla Java RMI i REST oraz pamięć transakcyjna (STM) dla systemów komunikacyjnych CamlGroups - system komunikacji grupowej w OCaml RESTGroups - interfejs programisty do komunikacji grupowej dla REST Crane - narzędzie do wyszukiwania i klasyfikowania dokumentów webowych Raporty półroczne z realizacji tych podprojektów: OB2-1 i OB2-2 SAMOA - operacje atomowe i dynamiczna aktualizacja protokołów [2002-2005] Crystall - narzędzia i komponowalne protokoły dla odporności na błędy poprzez replikację [2001-2005] Nomadic Pict - język programowania do obliczeń mobilnych (zob. także stronę projektu) [1995-2000]

Praca dydaktyczna

• Metody bezpiecznego programowania [2008-]
• Systemy typów dla języków programowania [2006-2008]
• Systemy typów dla języków programowania - kurs lab. [2006-2008]
• Systemy operacyjne (Unix) - kurs lab. [2006-]
• Programowania w Unix-ie - letni kurs lab. [2007]
• Seminarium dyplomowe [2007-]

Krótko o mnie

Pracuję w Instytucie Informatyki na Politechnice Poznańskiej od listopada 2005. Wcześniej byłem post-doktorantem w Ecole Polytechnique Fédérale de Lausanne (EPFL) na Wydziale Nauk Informatycznych i Komunikacyjnych. Byłem współautorem i jednym z wykonawców wspólnego projektu w laboratoriach LSR (Systemów Rozproszonych) i LAMP (Metod Programowania). Projekt dostarczył szereg nowości, np.: nowe modele, algorytmy, i implementacje protokołów komunikacji grupowej, ze wsparciem zarówno modeli crash-stop jak i crash-recovery (tj. z odtwarzaniem stanu), oraz narzędzia do modularnej budowy protokołów ze wsparciem dynamicznej zamiany protokołów.

Wcześniej byłem doktorantem na Uniwersytecie w Cambridge, w grupie Teorii i Semantyki oraz grupie systemów rozproszonych Opera w Computer Laboratory (Wydział Informatyki). Otrzymałem stopień doktora informatyki (Ph.D. in Computer Science) na Uniwersytecie Cambridge w roku 2000. W ramach mojej pracy doktorskiej, zaprojektowałem i zaimplementowałem Nomadic Pict - język programowania rozproszonego mobilnych agentów, który ma formalną definicję opartą o rachunki procesów (process calculi); był to jeden z pierwszych takich języków. Nomadic Pict został użyty do zaprojektowania rozmaitych algorytmów rozproszonych do komunikacji mobilnych agentów niezależnie od ich fizycznej lokalizacji.