Paweł T. Wojciechowski

Assistant Professor, Poznań University of Technology, Institute of Computing Science.
Habilitation Degree: 2008, Poznań University of Technology
Ph.D. Degree: 2000, University of Cambridge

Here are my coordinates.

Research

My current research interests include: concurrency, distributed computing, software transactional memory, transactions, software-based replication, fault-tolerance, type systems, formal semantics, program verification, and functional programming languages.

Some recent publications

Books: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems. The PUT Press, 2007. Papers: 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. To appear. 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.

All papers are available here [bibtex].

Projects and software

• IT-SOA - dependable service-oriented architecture; a local page (access restricted) [2008- ]
My subprojects within this project:
• JPaxos - state machine replication for robust services
• Paxos STM - distributed (replicated) software transactional memory
• Atomic RMI - distributed transactions in Java
• Atomic REST - distributed transactions for RESTful Web Services
• RESTGroups - group communication for RESTful Web Services
Discontinued subprojects:
• CamlGroups - Group Communication System in OCaml
• Crane - a document search and classification engine
• SAMOA - atomic operations and dynamic protocol update [2002-2005]
• Crystall - tools and composable protocols for crash-resilience by replication [2001-2005]
• Nomadic Pict - a programming language for mobile computation (see also the project page) [1995-2000]

Teaching

• Safe programming methods [2008-]; sylabus in English
• Type systems for programming languages [2006-2011]; sylabus in English
• Type systems for programming languages - lab. course [2006-2011]; sylabus in English
• Operating systems (Unix) - lab. course [2006-]
• The Unix programming - lab. summer course [2007]
• Diploma seminars [2007-]

Short Bio

I joined the CS Institute at Poznań University of Technology in November, 2005. Previously, I was a postdoctoral fellow at Ecole Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences. I was co-author and principal investigator on the joint LSR (Distributed Systems)-LAMP (Programming Methods) labs project. The project delivered several contributions, e.g.: novel models, algorithms, and implementations of group communication protocols with support of both the crash-stop and crash-recovery models, and programming tools for modular protocol design with support of dynamic protocol update.

Before this, I was a researcher at the University of Cambridge. I was a member of the Theory and Semantics Group and the Opera (Distributed Systems) Group in the Computer Laboratory. I received my Ph.D. in Computer Science from the University of Cambridge in 2000. Within my Ph.D. project I have designed and implemented Nomadic Pict - a distributed, mobile agent programming language, that has a formal definition based on process calculi; it was one of the first such languages. Nomadic Pict has been used to design various infrastructure algorithms for location-independent communication of mobile agents.