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. As such, I cofounded Coturnix, a startup selling scheduling solutions for physical systems, and 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), crosscountry skiing, being (in forests).
Publications
 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: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing ACM :328341, 2017 [arxiv]  Programming Biomolecules That Fold Greedily During Transcription
Cody Geary, PierreÉtienne Meunier, Nicolas Schabanel, Shinnosuke Seki
MFCS 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.

Other protocol implementation (such as Postgres, HTTP, SMTP), required to build the nest, a hosting service for Pijul repositories. To be released soon.


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