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 and some information for visitors to our university campus.

Research

My research work is focused on the design of programming languages and algorithms for concurrent and distributed systems. More specifically, I am interested in mobile computation, static type systems, and distributed algorithms, in the context of synchronization, dynamic protocol update, and crash-resilience by replication.

My research goals are to design programming languages and verification tools for implementing concurrent and distributed systems that are guaranteed to be reliable (trustworthy). So far, my contributions in this area include: a typed, distributed programming language for mobile computation (Nomadic Pict), programming constructs for atomicity and declarative synchronization, and a toolkit for building modular protocols with support of dynamic protocol update (SAMOA). I have also contributed to the design of a novel group communication middleware. A brief description of these research activities, including implementations of experimental systems, can be found on the corresponding project web sites (see below).

Books: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems. The PUT Press, 2007. Recent papers: 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. All papers are available here. Projects and software: IT-SOA - dependable service-oriented architecture; a local page (access restricted) [2008- ] My subprojects within this project (web sites under construction): Atomic Services - Atomic Remote Method Invocations for Java RMI and REST and Software Transactional Memory (STM) for communicating systems CamlGroups - a group communication system in OCaml RESTGroups - a group communication API for REST Crane - a document search and classification engine Half-year reports on these subprojects: OB2-1 and OB2-2 (in Polish) 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-2008]; sylabus in English
• Type systems for programming languages - lab. course [2006-2008]; 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.