Paweł T. Wojciechowski

I’m an Associate Professor affiliated to Institute of Computing Science, Poznan University of Technology, where I’m leading the Concurrent Systems Group.

My research interests include concurrency, distributed systems, replication, transactional memory, programming languages, and formal verification.

My last research project, called Persistent Datastore, funded by the Foundation for Polish Science, contributed new efficient Paxos-based replication algorithms with crash-recovery, nonblocking data structures with transactional operations, and several results in the theory of weakly-consistent distributed systems. We also experimented with persistent memory. I was also a Principal Investigator of several projects funded by the National Science Centre and the Foundation for Polish Science. Before I worked at top universities in the UK and Switzerland (see my short bio for a summary of research work there).

Please contact me if you are interested in joint research projects, want to collaborate, or to obtain a PhD degree in computer science. Why is it worth to do a MSc course or a PhD in Distributed and Cloud Computing? (slides, in Polish)

PhD students

Below are my former PhD students. All defended their theses with Honors. Currently I am looking for new PhD students.

  • Jan Kończak (Research and Teaching Assistant at PUT). Thesis title: Recovery algorithms in State Machine Replication with volatile and non-volatile main memory (defended 21 September 2022). Referees: prof. Alysson Bessani (Universidade de Lisboa), prof. Fernando Pedone (University of Lugano).

  • Maciej Kokociński (Research and Teaching Assistant at PUT and R&D engineer at Huawei Corp.). Thesis title: Correctness of Highly-Available Eventually-Consistent Replicated Systems (defended 1 April 2022). Referees: prof. Petr Kuznetsov (Telecom ParisTech, Institut Polytechnique de Paris), prof. Wojciech Golab (University of Waterloo).

  • Tadeusz Kobus (Research and Teaching Assistant at PUT and R&D engineer at Huawei Corp.). Thesis title: Transactional Replication: Algorithms and Properties (defended 7 April 2017). Referees: prof. Fernando Pedone (University of Lugano), prof. Tomasz Jurdziński (University of Wroclaw).

  • Konrad Siek (formerly Postdoctoral researcher at Czech Technical University in Prague and Research Assistant at Northeastern University, now R&D engineer at TrustInSoft). Thesis title: Distributed Pessimistic Transactional Memory: Algorithms and Properties (defended 4 January 2017). Referees: prof. Michel Raynal (University of Rennes), prof. Marek Tudruj (The Polish Academy of Sciences).

Papers

The bibtex data for the following papers.

Journals

  1. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On the correctness of highly available systems in the presence of failures. Journal of Parallel and Distributed Computing (JPDC), 180():, October 2023. Received 12 March 2022, Revised 4 April 2023, Accepted 21 April 2023, Available online 10 May 2023, Version of Record 13 June 2023. URL: PDF/jpdc23-journal-full.pdf, doi:10.1016/j.jpdc.2023.04.008.

  2. Konrad Siek and Paweł T. Wojciechowski. Last-use opacity: a strong safety property for transactional memory with prerelease support. Distributed Computing, 35(3):265–301, 2022. Published: 17 April 2022. URL: PDF/dc22-journal.pdf, doi:10.1007/s00446-022-00420-2.

  3. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On mixing eventual and strong consistency: Acute Cloud Types. IEEE Transactions on Parallel and Distributed Systems (TPDS), 33(6):1338–1356, June 2022. Date of Publication: 17 June 2021. URL: PDF/tpds22-journal.pdf, doi:10.1109/TPDS.2021.3090318.

  4. Jan Kończak and Paweł T. Wojciechowski and Nuno Santos and Tomasz Żurkowski and André Schiper. Recovery algorithms for Paxos-based state machine replication. IEEE Transactions on Dependable and Secure Computing (TDSC), 18(2):623–640, March-April 2021. Date of Publication: 10 July 2019. URL: PDF/tdsc21-journal.pdf, doi:10.1109/TDSC.2019.2926723.

  5. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Hybrid transactional replication: state-machine and deferred-update replication combined. IEEE Transactions on Parallel and Distributed Systems (TPDS), 29(7):1499–1514, July 2018. Date of Publication: January 23, 2018. URL: PDF/tpds18-journal-full.pdf, doi:10.1109/TPDS.2018.2796079.

  6. Paweł Kobyliński and Konrad Siek and Jan Baranowski and Paweł T. Wojciechowski. Helenos: A realistic benchmark for distributed transactional memory. Software: Practice and Experience, 48(3):528–549, March 2018. First published: 9 October 2017. URL: PDF/jspe17-journal.pdf, doi:10.1002/spe.2548.

  7. Jan Kończak, Paweł T. Wojciechowski, and Rachid Guerraoui. Operation-level wait-free transactional memory with support for irrevocable operations. IEEE Transactions on Parallel and Distributed Systems (TPDS), 28(12):3570–3583, December 2017. Date of publication: August 2, 2017. URL: PDF/tpds17b-journal.pdf, doi:10.1109/TPDS.2017.2734879.

  8. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. State-machine and deferred-update replication: analysis and comparison. IEEE Transactions on Parallel and Distributed Systems (TPDS), 28(3):891–904, March 2017. Published: 12 July 2016. URL: PDF/tpds17a-journal-full.pdf, doi:10.1109/TPDS.2016.2590422.

  9. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Relaxing real-time order in opacity and linearizability. Journal of Parallel and Distributed Computing (JPDC), 100():57–70, February 2017. Accepted: October 4, 2016. Available online: October 24, 2016. URL: PDF/jpdc17-journal-full.pdf, doi:10.1016/j.jpdc.2016.10.007.

  10. Konrad Siek and Paweł T. Wojciechowski. Atomic RMI: a distributed transactional memory framework. International Journal of Parallel Programming, 44(3):598–619, June 2016. First online: April 1, 2015. Received: August 14, 2014. Accepted: March 10, 2015. Invited submission for HLPP '14: the 7th International Symposium on High-level Parallel Programming and Applications. URL: PDF/ijpp15-journal.pdf, doi:10.1007/s10766-015-0361-x.

  11. Peter Sewell, Paweł T. Wojciechowski, and Asis Unyapoth. Nomadic Pict: programming languages, communication infrastructure overlays, and semantics for mobile computation. ACM Transactions on Programming Languages and Systems (TOPLAS), 32(4):12:1–12:63, April 2010. URL: PDF/toplas10-journal-full.pdf, doi:10.1145/1734206.1734209.

  12. Paweł T. Wojciechowski and Peter Sewell. Nomadic Pict: language and infrastructure design for mobile agents. IEEE Concurrency, 8(2):42–52, April–June 2000. Invited submission for ASA/MA '99. URL: PDF/concurrency00-journal.pdf.

Conferences

  1. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Jiffy: a lock-free skip list with batch updates and snapshots. In Proceedings of PPoPP '22: the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 400–415. April 2022. Online: 28 March 2022. URL: https://dl.acm.org/doi/10.1145/3503221.3508437, doi:10.1145/3503221.3508437.

  2. Jan Kończak and Paweł T. Wojciechowski. Failure recovery from persistent memory in Paxos-based state machine replication. In Proceedings of SRDS '21: the 40th IEEE Symposium on Reliable Distributed Systems, pp. 88–98. September 2021. URL: PDF/srds21.pdf, doi:10.1109/SRDS53918.2021.00018.

  3. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On mixing eventual and strong consistency: Bayou revisited. In Proceedings of PODC '19: the 38th ACM Symposium on Principles of Distributed Computing, pp. 458–460. July-August 2019. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc19-arxiv.pdf, doi:10.1145/3293611.3331583.

  4. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Brief announcement: eventually consistent linearizability. In Proceedings of ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing, pp. 237–239. July 2015. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc15.pdf, doi:10.1145/2767386.2767448.

  5. Konrad Siek and Paweł T. Wojciechowski. Brief announcement: relaxing opacity in pessimistic transactional memory. In Proceedings of DISC '14: the 28th International Symposium on Distributed Computing, volume 8784 of LNCS, 540–541. Springer, October 2014. doi:10.1007/978-3-662-45174-8.

  6. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Make the leader work: executive deferred update replication. In Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable Distributed Systems, pp. 89–94. October 2014. URL: http://www.cs.put.poznan.pl/pawelw/pub/srds14.pdf, doi:10.1109/SRDS.2014.42.

  7. Konrad Siek and Paweł T. Wojciechowski. Brief announcement: towards a fully-articulated pessimistic distributed transactional memory. In Proceedings of SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures, volume of, 111–114. Association for Computing Machinery (ACM), July 2013. doi:10.1145/2486159.2486166.

  8. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Hybrid replication: state-machine-based and deferred-update replication schemes combined. In Proceedings of ICDCS '13: the 33rd International Conference on Distributed Computing Systems, volume of, 286–296. IEEE Computer Society, July 2013. doi:10.1109/ICDCS.2013.30.

  9. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. Model-driven comparison of state-machine-based and deferred-update replication schemes. In Proceedings of SRDS '12: the 31st IEEE International Symposium on Reliable Distributed Systems, volume of, 101–110. IEEE Computer Society, October 2012. doi:10.1109/SRDS.2012.44.

  10. Konrad Siek and Paweł T. Wojciechowski. A formal design of a tool for static analysis of upper bounds on object calls in Java. In Proceedings of FMICS '12: the 17th International Workshop on Formal Methods for Industrial Critical Systems (co-located with FM '12: the 18th International Symposium on Formal Methods), volume 7437 of LNCS, 192–206. Springer, August 2012. doi:10.1007/978-3-642-32469-7_13.

  11. Tadeusz Kobus and Paweł T. Wojciechowski. RESTGroups for resilient Web services. In Mária Bieliková et al., editor, Proceedings of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science, volume 7147 of LNCS, 505–517. Springer, January 2012. Software & Web Engineering Track.

  12. Paweł T. Wojciechowski. Typed first-class communication channels and mobility for concurrent scripting languages. In Uwe Aßmann and Anthony Sloane, editors, Proceedings of SLE '11: the 4th ACM SIGPLAN International Conference on Software Language Engineering, volume 6940 of LNCS, 378––387. Springer, July 2011. 10pp.

  13. Paweł T. Wojciechowski. Scalable message routing for mobile software assistants. In Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, and Bin Xiao, editors, Proceedings of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing, volume 4096 of LNCS, 355–364. Springer, August 2006.

  14. Paweł T. Wojciechowski. A class-based object calculus of dynamic binding: reduction and properties. In Welf Löwe and Mario Südholt, editors, Proceedings of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06), volume 4089 of LNCS, 131–146. Springer, March 2006.

  15. Olivier Rütti, Paweł T. Wojciechowski, and André Schiper. Structural and algorithmic issues of dynamic protocol update. In Proceedings of IPDPS '06: the 20th IEEE International Parallel and Distributed Processing Symposium. IEEE Computer Society, April 2006.

  16. Olivier Rütti, Paweł T. Wojciechowski, and André Schiper. Service Interface: a new abstraction for implementing and composing protocols. In Proceedings of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems, 691–696. Association for Computing Machinery (ACM), April 2006.

  17. Paweł T. Wojciechowski. Isolation-only transactions by typing and versioning. In Proceedings of PPDP '05: the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming. July 2005.

  18. Paweł T. Wojciechowski and Olivier Rütti. On correctness of dynamic protocol update. In Martin Steffen and Gianluigi Zavattaro, editors, Proceedings of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems, volume 3535 of LNCS, 275–289. Springer, June 2005.

  19. Vlad Tanasescu and Paweł T. Wojciechowski. Role-based declarative synchronization for reconfigurable systems. In Manuel Hermenegildo and Daniel Cabeza, editors, Proceedings of PADL '05: the 7th International Symposium on Practical Aspects of Declarative Languages, volume 3350 of LNCS, 52–66. Springer, January 2005.

  20. Paweł T. Wojciechowski. Concurrency combinators for declarative synchronization. In Wei-Ngan Chin, editor, Proceedings of APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems, volume 3302 of LNCS, 163–178. Springer, November 2004.

  21. Paweł T. Wojciechowski, Olivier Rütti, and André Schiper. SAMOA: a framework for a synchronisation-augmented microprotocol approach. In Proceedings of IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium. April 2004.

  22. Sergio Mena, André Schiper, and Paweł T. Wojciechowski. A step towards a new generation of group communication systems. In Markus Endler and Douglas Schmidt, editors, Proceedings of Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference, volume 2672 of LNCS, 414–432. Springer, June 2003.

  23. Paweł T. Wojciechowski, Sergio Mena, and André Schiper. Semantics of protocol modules composition and interaction. In Farhad Arbab and Carolyn Talcott, editors, Proceedings of COORDINATION '02: the fifth International Conference on Coordination Models and Languages, volume 2315 of LNCS, 389–404. Springer, April 2002.

  24. Paweł T. Wojciechowski. Algorithms for location-independent communication between mobile agents. In Proceedings of AISB '01 Symposium on Software Mobility and Adaptive Behaviour. March 2001. Also published as Technical Report IC-2001-13, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne (EPFL).

  25. Paweł T. Wojciechowski and Peter Sewell. Nomadic Pict: language and infrastructure design for mobile agents. In Proceedings of ASA/MA '99: Symposium on Agent Systems and Applications/Mobile Agents, 2–12. IEEE Computer Society, October 1999. Best paper award.

Workshops

  1. Paweł T. Wojciechowski and Konrad Siek. Atomic RMI 2: distributed transactions for Java. In Proceedings of AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16), volume of, 61–69. Association for Computing Machinery (ACM), October 2016. doi:http://dx.doi.org/10.1145/3001886.3001893.

  2. Jan Kończak, Paweł T. Wojciechowski, and Rachid Guerraoui. Ensuring irrevocability in wait-free transactional memory. In Proceedings of TRANSACT '16 : the 11th ACM SIGPLAN Workshop on Transactional Computing (in conjunction with PPoPP '16: the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming), volume of. March 2016. doi:.

  3. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. The correctness criterion for deferred update replication. In Proceedings of TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15), volume of. June 2015. doi:.

  4. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On safety of replicated transactional memory. In Proceedings of WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing), volume of. July 2014. doi:.

  5. Konrad Siek and Paweł T. Wojciechowski. Zen and the art of concurrency control: an exploration of tm safety property space with early release in mind. In Proceedings of WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing), volume of. July 2014. doi:.

  6. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Towards a more scalable deferred update replication (abstract). In WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems), volume of. April 2014.

  7. Jan Kończak, Rachid Guerraoui, and Paweł T. Wojciechowski. Towards wait-free transactional memory with irrevocables (abstract). In WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems), volume of. April 2014.

  8. Paweł T. Wojciechowski and Konrad Siek. Having your cake and eating it too: combining strong and eventual consistency. In Proceedings of PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems), volume of. Association for Computing Machinery (ACM), April 2014. doi:10.1145/2596631.2596637.

  9. Paweł T. Wojciechowski and Jan Kończak. Back to the futures: the futures-based distributed transactional memory (abstract). In WTM '13: 3rd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '13: the 8th ACM SIGOPS European Conference on Computer Systems), volume of. April 2013.

  10. Paweł T. Wojciechowski and Jan Kończak. A formal model of crash recovery in distributed software transactional memory (extended abstract). In WTTM '12: the 4th Workshop on the Theory of Transactional Memory (co-located with PODC '12: the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing), volume of. July 2012.

  11. Paweł T. Wojciechowski. Conditional concurrency combinators. In LaME '12: International Workshop on Languages for the Multi-core Era (co-located with ECOOP '12: the 26th European Conference on Object-Oriented Programming), volume of. June 2012.

  12. Paweł T. Wojciechowski and Konrad Siek. Transaction concurrency control via dynamic scheduling based on static analysis (abstract). In WTM '12: 2nd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '12: the 7th ACM SIGOPS European Conference on Computer Systems), volume of. April 2012.

  13. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Practical considerations of distributed STM systems development (abstract). In Proceedings of WDTM '12: the 1st Euro-TM Workshop on Distributed Transactional Memory, volume of. February 2012.

  14. Sebastian Kochman, Paweł T. Wojciechowski, and Miłosz Kmieciak. Batched transactions for RESTful Web services. In Andreas Harth and Nora Koch, editors, Proceedings 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), volume 7059 of LNCS, 86––98. Springer, June 2011.

  15. Konrad Siek and Paweł T. Wojciechowski. Statically computing upper bounds on object calls for pessimistic concurrency control. In Proceedings of $(EC)^2$ '10: Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '10: the 22nd International Conference on Computer Aided Verification), volume. July 2010. 5pp.

  16. Tadeusz Kobus and Paweł T. Wojciechowski. A 90% restful group communication service (extended abstract). In Proceedings of DCDP '10: the Workshop on Decentralized Coordination of Distributed Processes (co-located with COORDINATION '10: the 12th International Conference on Coordination Models and Languages), volume. June 2010. Published in Electronic Proceedings in Theoretical Computer Science (EPTCS), Volume 27. A full version published as Technical Report RA-2/10, Institute of Computing Science, Poznań University of Technology.

  17. Paweł T. Wojciechowski. Extending atomic tasks to distributed atomic tasks. In Proceedings of the $(EC)^2$ Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '08: the 20th International Conference on Computer Aided Verification), volume. July 2008.

  18. Peter Sewell and Paweł T. Wojciechowski. Verifying overlay networks for relocatable computations (or: nomadic pict, relocated). In Proceedings of the Workshop on the Rise and Rise of the Declarative Datacentre, volume. May 2008. Appeared as Microsoft Research Technical Report MSR-TR-2008-61.

  19. Paweł T. Wojciechowski. Typing for reliable distributed systems - recent advances. In Proceedings of Workshop on Dependable Software - Tools and Methods (co-located with IEEE DSN '05: the 35th International Conference on Dependable Systems and Networks). June 2005.

  20. Peter Sewell, Paweł T. Wojciechowski, and Benjamin C. Pierce. Location independence for mobile agents. In Proceedings of the Workshop on Internet Programming Languages (co-located with ICCL ’98: International Conference on Computer Languages). May 1998.

Book chapters

  1. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Introduction to transactional replication. In Rachid Guerraoui and Paolo Romano, editors, Transactional Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM IC1001, volume 8913 of LNCS, pages 309–340. Springer, 2015. doi:10.1007/978-3-319-14720-8_15.

  2. Daniel Bünzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier Rütti and André Schiper and Paweł T. Wojciechowski. Advances in the design and implementation of group communication middleware. In Jürg Kohlas, Bertrand Meyer, and André Schiper, editors, Dependable Systems: Software, Computing, Networks, volume 4028 of LNCS, pages 172–194. Springer, September 2006. doi:10.1007/11808107.

  3. Peter Sewell, Paweł T. Wojciechowski, and Benjamin C. Pierce. Location-independent communication for mobile agents: a two-level architecture. In Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, editors, Internet Programming Languages, volume 1686 of LNCS, pages 1–31. Springer, October 1999. doi:10.1007/3-540-47959-7.

Theses

  1. Paweł T. Wojciechowski. Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems. Number in. Publishing House of Poznan University of Technology, Pl. Marii Skłodowskiej-Curie 2, Poznań 60-965, Poland, 2007. ISBN 978-83-7143-323-8. 204pp. URL: https://www.cs.put.poznan.pl/pawelw/book/.

  2. Paweł T. Wojciechowski. Nomadic Pict: Language and Infrastructure Design for Mobile Computation. PhD thesis, University of Cambridge, June 2000. Also published as Technical Report 492, Computer Laboratory, University of Cambridge. 184pp. URL:.

Patents

  1. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. November 2018. Date of filing: January 14, 2016. United States Patent No. US 10,135,929 B2. URL: https://patents.google.com/patent/US10135929B2.

  2. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. August 2018. Date of filing: January 12, 2016. European Patent Specification No. EP 3 193 256 B1. URL: https://patents.google.com/patent/EP3193256B1.

Keynotes

  1. Paweł T. Wojciechowski. A selective and biased choice of techniques for building a distributed data store. In Proceedings of DEBS ’23: the 17th ACM International Conference on Distributed and Event-based Systems, pp. June 2023. URL: PDF/debs23-keynote-abstract.pdf, doi:10.1145/3583678.3603441.

Short Bio

I joined the CS Institute at Poznan University of Technology in November, 2005. See my research interests, PhD students, Research projects, and Papers for further information.

Previously, I was a postdoctoral fellow at École 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) and 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. 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.

This document was generated on Mar 18, 2024.