Scholar
Corto Mascle
Google Scholar ID: KJ9cAhwAAAAJ
MPI-SWS Kaiserslautern
Citations & Impact
Citations
91
H-index
5
i10-index
3
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published multiple papers, including 'The trichotomy of regular property testing', 'On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata', and more; involved in several research projects.
Research Experience
- Postdoctoral researcher at MPI-SWS, Kaiserslautern; completed doctoral research at LaBRI, Bordeaux.
Education
- Studied at ENS Paris-Saclay from 2017 to 2021; completed a PhD in LaBRI, Bordeaux, under the supervision of Anca Muscholl and Igor Walukiewicz.
Background
- Currently doing a postdoc in MPI-SWS, Kaiserslautern, with Georg Zetzsche. Research interests include verification and control problems over models of distributed systems, as well as automata, logics, and games.
Co-authors