Paweł T. Wojciechowski

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

Tutaj są moje dane kontaktowe.

Praca naukowa

Moje bieżące zainteresowania naukowe obejmują: współbieżność, obliczenia rozproszone, pamięć transakcyjna, transakcje, programowa replikacja, tolerancja awarii, systemy typów, semantyka formalna, weryfikacja programów, i języki programowania funkcyjnego.

Przykładowe ostatnie publikacje

Monografie: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems. Wydawnictwo PP, 2007. Artykuły: Model-Driven Comparison of State-Machine-based and Deferred-Update Replication Schemes. Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński. Technical Report RA-01-12, Institute of Computing Science, Poznań University of Technology, April 2012. Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis. Paweł T. Wojciechowski, Konrad Siek. Abstract at Euro-TM Workshop on Transactional Memory (WTM 2012), April 2012. Practical Considerations of Distributed STM Systems Development. Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Abstract at Euro-TM Workshop on Distributed Transactional Memory (WDTM 2012), February 2012. Static Typing and Dynamic Versioning for Safe Pessimistic Concurrency Control. Paweł T. Wojciechowski. This is a revised and extended version of PPDP'05 paper. Submitted. JPaxos: State Machine Replication Based on the Paxos Protocol. Jan Kończak, Nuno Santos, Tomasz Żurkowski, Paweł T. Wojciechowski and André Schiper. Technical Report 167765, Faculté Informatique et Communications, EPFL, July 2011. Typed First-class Communication Channels and Mobility for Concurrent Scripting Languages. Paweł T. Wojciechowski. In the Proc. of SLE '11: the 4th International Conference on Software Language Engineering, Springer LNCS 6940, July 2011. To appear. Batched Transactions for RESTful Web Services. Sebastian Kochman, Paweł T. Wojciechowski and Miłosz Kmieciak. In the Proc. of ComposableWeb '11: the 3rd International Workshop on Lightweight Integration on the Web (co-located with ICWE '11: the 11th International Conference on Web Engineering), Springer LNCS 7059, June 2011. Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control. Konrad Siek and Paweł T. Wojciechowski. In the Proc. of CAV '10 (the 22th International Conference on Computer Aided Verification) - Workshop on Exploiting Concurrency Efficiently and Correctly (EC)^2, July 2010. Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation. Peter Sewell, Paweł T. Wojciechowski, Asis Unyapoth. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32 Issue 4, April 2010.

Wszystkie artykuły dostępne są tutaj [bibtex].

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):
• JPaxos - zreplikowana maszyna stanów dla niezawodnych usług
• Paxos STM - rozproszona (zreplikowana) pamięć transakcyjna
• Atomic RMI - transakcje rozproszone w Java
• Atomic REST - transakcje rozproszone dla usług sieciowych REST
• RESTGroups - komunikacja grupowa dla usług sieciowych REST
Podprojekty dalej nie rozwijane:
• CamlGroups - system komunikacji grupowej w OCaml
• Crane - narzędzie do wyszukiwania i klasyfikowania dokumentów webowych
• 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-2011]
• Systemy typów dla języków programowania - kurs lab. [2006-2011]
• 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.