Paweł T. Wojciechowski
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 contact details.
My current research interests include: concurrency, distributed computing, transactional memory, software-based replication, consistency models, fault-tolerance, language design, type systems, program verification, and functional programming languages.
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.