About - CV.pdf
positions: I am a Postdoctoral researcher at the IST Austria under the direction of Thomas A. Henzinger. Before, I did a postdoc at the IMDEA Software Institute under the direction of Pierre Ganty. I did my PhD at the ULB supervised by Emmanuel Filiot and Jean-François Raskin. This work has been funded by the competitive individual 4 year grant FNRS-FRIA and focuses on decidable and efficient formalisms for quantitative verification.
bio: My research interest lies in the domain of formal methods for computer-aided verification. I am focusing on specification models with a good tradeoff between the expressiveness of system behaviours and the decidability of algorithms that ensure safety and robustness. My Ph.D. contributes to the research effort of automata-based quantitative model-checking methods. My first postdoc targets the tractability of these techniques by introducing heuristics based-on well quasi-order theory, abstract interpretation, and automata compositionality. My current postdoc aims to develop the quantitative framework for runtime verification.
keywords: counter machines, decidable logics, formal methods, model-checking, monitoring, Presburger arithmetic, transducers, weighted automata.
Publications - DBLP
- Safety and Liveness of Quantitative Automata ( Proceedings, Arxiv ) Joint work with Udi Boker, Thomas A. Henzinger, and N. Ege Saraç International Conference on Concurrency Theory (CONCUR) 2023
- Regular Methods for Operator Precedence Languages ( Proceedings, Arxiv ) Joint work with Thomas A. Henzinger, Pavol Kebis and N. Ege Saraç International Colloquium on Automata, Languages and Programming (ICALP) 2023
- Quantitative Safety and Liveness ( Proceedings, Arxiv ) Joint work with Thomas A. Henzinger and N. Ege Saraç Conference on Foundations of Software Science and Computation Structures (FOSSACS) 2023
- Abstract Monitors for Quantitative Specifications ( Proceedings ) Joint work with Thomas A. Henzinger and N. Ege Saraç Conference on Runtime Verification (RV) 2022
- FORQ-based Language Inclusion Formal Testing ( Arxiv, Proceedings ) Joint work with Kyveli Doveri and Pierre Ganty Conference on Computer Aided Verification (CAV) 2022
- Decompossing Permutation Automata ( Arxiv, Proceedings ) Joint work with Ismaël Jecker and Petra Wolf Conference on Concurrency Theory (CONCUR) 2021
- Unary Prime Languages ( Proceedings ) Joint work with Ismaël Jecker and Orna Kupferman Mathematical Foundations of Computer Science (MFCS) 2020
- Weighted Transducers for Robustness Verification ( Proceedings ) Joint work with Emmanuel Filiot, Jean-François Raskin, Sriram Sankanarayanan and Ashutosh Trivedi Conference on Concurrency Theory (CONCUR) 2020
- Two-way Parikh Automata ( Arxiv, Proceedings ) Joint work with Emmanuel Filiot and Shibashis Guha Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2019
- Pattern Logic for Automata with Outputs ( Arxiv, Proceedings, Journal ) Joint work with Emmanuel Filiot and Jean-François Raskin International Journal of Foundations of Computer Science (IJFCS), Volume 31 Developments in Language Theory (DLT) 2018
- Decidable Weighted Expressions with Presburger Combinators ( Arxiv, Proceedings, Journal ) Joint work with Emmanuel Filiot and Jean-François Raskin Journal of Computer and System Sciences (JCSS), Volume 106 Fundamentals of Computation Theory (FCT) 2017
Theses
- Contributions to formalisms for the specification and verification of quantitative properties (PDF) advised by E. Filiot and J.-F. Raskin Doctoral thesis, Univertié libre de Bruxelles BELGIUM, 2020
- The Complexity of Sum Automata Expressions with Lipschitz Robustness Application (PDF) advised by E. Filiot and J.-F. Raskin Master thesis, ENS Cachan FRANCE, 2016
Talks
- 34th International Conference CONCUR 2023 at Antwerp (slides)
- 50th International Conference ICALP 2023 at Paderborn (slides)
- 22nd International Conference RV 2022 online (slides)
- IST/FORSYTE joint seminar 2022 at Vienna
- 32st International Conference CONCUR 2021 online (slides, video)
- IMDEA Software Seminar Series 2021 at Madrid
- PhD defence 2020 online
- 31st International Conference CONCUR 2020 online (slides)
- Nicolas's colloquium 2020 online
- 39th IARCS Annual Conference FSTTCS 2019 at Mumbai (slides)
- 7th European conference Highlights of Logic, Games and Automata 2019 at Warsaw (slides)
- 6th European conference Highlights of Logic, Games and Automata 2018 at Berlin (slides)
- 22nd International Symposium DLT 2018 at Tokyo (slides)
- IST Austria invited RiSE seminar 2018 at Vienna
- 2nd Winter School in Engineering and Computer Science 2017 at Jerusalem
- 5th European conference Highlights of Logic, Games and Automata 2017 at London (slides)
- 21st International Symposium FCT 2017 at Bordeaux (slides)
Teaching
- IST Austria 2023 (as instructor)
- Foundation of Model Checking (slides, exercices and solutions on ISTA Athena)
- Université libre de Bruxelles 2020
- INFO-F412 - Formal verification of computer systems ( Mickael Randour's webpage )
- Université libre de Bruxelles 2019
- INFO-F412 - Formal verification of computer systems ( Mickael Randour's webpage )
- INFO-F410 - Embedded Systems Design ( ULB Université Virtuelle )
- Université libre de Bruxelles 2018
- INFO-F412 - Formal verification of computer systems ( Mickael Randour's webpage )
- INFO-F410 - Embedded Systems Design ( ULB Université Virtuelle )
- INFO-F302 - Informatique Fondamentale ( lecture webpage )
- Université libre de Bruxelles 2017
- INFO-F412 - Formal verification of computer systems ( Mickael Randour's webpage )
Miscellaneous
- FORKLIFT Inclusion checker for Büchi automata
- Viennese workshop on Verification 2023 main organizer (35 participants, 28 speakers)
- RP'19 organizer assitant (80 participants, 34 speakers)
- Group seminars organizer from 2022 to 2024 at ISTA
- Student Sunshine Seminars co-organizer on 2021 at IMDEA
- MFV Seminars organizer from 2016 to 2020 at ULB
- SVN administrator