Skip to content
- Vladimir Antofi (University of Bucharest)
- Iulia Banu (University of Bucharest)
- Péter Bereczky (Eötvös Loránd University)
- Costin Carabaș (National University of Science and Technology Politehnica Bucharest)
- Andrei Drăghici (University of Oxford)
- Nicoleta Dumitru (University of Bucharest)
- Johan Girardot (École Polytechnique)
- Ana Ioniță (University of Bucharest)
- Ioana Leuștean (University of Bucharest)
- Laurențiu Leuștean (University of Bucharest)
- Ignacio D. Lopez-Miguel (Vienna University of Technology)
- Andrei Marinică (MultiversX)
- Flávio L. C. de Moura (Universidade de Brasília)
- Andrei-Alexandru Oltean (University of Bucharest)
- Natalia Ozunu (University of Bucharest)
- Ana Pantilie (Runtime Verification)
- Mariapia Raimondo (Università degli Studi della Campania “L. Vanvitelli”)
- Lorenzo Sauras-Altuzarra (Vienna University of Technology)
- Anda-Ştefania Toma (University of Bucharest)
- Dafina Trufaș (Runtime Verification / University of Bucharest)
- Andrei Văcaru (Runtime Verification)
- Alexandru Weng (Vienna University of Technology)