Scholar
Paul Gastin
Google Scholar ID: LJNfnhgAAAAJ
Professor, LMF, ENS Paris-Saclay
Citations & Impact
Citations
992
H-index
15
i10-index
23
Publications
20
Co-authors
13
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Has some selected publications (specific list not provided).
Research Experience
- Serves as a professor at ENS Paris-Saclay; Developed LTL2BA tool for fast translation from LTL formulae to Büchi automata; Created gastex to simplify graphs and automata creation in TeX; Involved in the development of Nestify, which is related to higher-order pushdown automata.
Background
- Professor with research interests in algorithmics, formal languages, basics of verification, non-sequential theory, and the theory of distributed systems.
Miscellany
- Provides GPG public key; Has slides from several recent talks available; Developed an outdated Java graphical user interface called JasTeX.
