PierreÉtienne Meunier
I'm a "senior research fellow" in the Tapdance team at Maynooth University. I'm interested in the interplay of geometry and asynchronous computing, and also in those topics independently.
I also try to build bridges between theoretical computer science and the real world. For example, I started Pijul, an opensource distributed version control system at the crossroads of category theory, algorithms and asynchronous computing.
I also enjoy building and riding bicycles (in the wild), swimming (in lakes), hiking (in the Alps), crosscountry skiing, being in forests.
Publications

The programsize complexity of selfassembled paths
PierreÉtienne Meunier, Damien Regnault, Damien Woods
STOC 2020: Proceedings of the 52nd Annual ACM Symposium on Theory of Computing [arxiv]After seven years of work, we finally solve one of the deepest mysteries of tile assembly: can paths built noncooperatively always be pumped? As it turns out, yes, but the reasons are not exactly simple.

Noncooperatively assembling large structures
PierreÉtienne Meunier, Damien Regnault
DNA25 2019 [arxiv] 
Proving the Turing Universality of Oritatami CoTranscriptional Folding
Cody Geary, PierreÉtienne Meunier, Nicolas Schabanel, Shinnosuke Seki
ISAAC 2018 2018 [arxiv] 
Binary Pattern Tileset Synthesis is NPhard
Lila Kari, Steffen Kopecki, PierreÉtienne Meunier, Matthew J. Patitz, Shinnosuke Seki
Algorithmica 78:146, 2017 [arxiv] 
The noncooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation
PierreÉtienne Meunier, Damien Woods
STOC 2017 ACM:328341, 2017 [arxiv] 
Programming Biomolecules That Fold Greedily During Transcription
Cody Geary, PierreÉtienne Meunier, Nicolas Schabanel, Shinnosuke Seki
MFCS 2016 2016 
Binary Pattern Tileset Synthesis is NPhard
Lila Kari, Steffen Kopecki, PierreÉtienne Meunier, Matthew J. Patitz, Shinnosuke Seki
ICALP 1:10221034, 2015 [arxiv] 
SelfAssembly at Temperature 1
PierreÉtienne Meunier
Encyclopedia of Algorithms 2015 
Noncooperative algorithms in selfassembly
PierreÉtienne Meunier
UCNC 2015 [arxiv] 
Intrinsic universality in tile selfassembly requires cooperation
PierreÉtienne Meunier, Matthew J. Patitz, Scott M. Summers, Guillaume Theyssier, Andrew Winslow, Damien Woods
SODA 2014 
Unravelling simplicity in elementary cellular automata
PierreÉtienne Meunier
TCS 2016 
Communication complexity and intrinsic universality in cellular automata
Eric Goles Chacc, PierreÉtienne Meunier, Iván Rapaport, Guillaume Theyssier
TCS 2011 
The structure of communication problems in cellular automata
Raimundo Briceño, PierreÉtienne Meunier
Automata 2011
Software projects

Pijul, an opensource distributed version control system written in Rust. This project required me to write a number of other smaller projects, in particular:

Thrussh, a library implementing the entire SSH 2 protocol, both client and server side.

Sanakirja, a fully transactional database, inspired by LMDB, but with a O(log n) fork.

Pleingres, which I wrote to build the nest, a hosting service for Pijul repositories. At the time I wrote it, it was the first asynchronous PostgreSQL driver for Rust.

Patoline, a typesetting system in Ocaml, and using Ocaml itself as the scripting language.