Antoine Martin

• Site: Paris
• Group: automata and applications

Bio

I am a PhD student in the Automata and Applications (A∀) research group since October 2021. I work on efficient translation of temporal industrial logics to ω-automata under the supervision of Alexandre Duret-Lutz and Étienne Renault.

Previously, I obtained an Engineering Degree in Computer Science from EPITA in 2021 with a double major in image processing / computer graphics, and scientific research.

Publications

• ORCID
• Google Scholar