From LRDE
< User:Uli (Created page with "= Research Group Automata and Applications = The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develo...") |
|||
| Line 2: | Line 2: | ||
The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the [[Spot]] library for manipulation of ω-automata. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving. |
The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the [[Spot]] library for manipulation of ω-automata. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving. |
||
| + | |||
| + | == News == |
||
== Members == |
== Members == |
||
| Line 9: | Line 11: | ||
=== Paris === |
=== Paris === |
||
| − | * Amazigh |
+ | * Amazigh Amrane |
| − | * [https://www.lrde.epita.fr/~adl/ Alexandre |
+ | * [https://www.lrde.epita.fr/~adl/ Alexandre Duret-Lutz] |
| − | * [https://www.lrde.epita.fr/~jnewton/ Jim |
+ | * [https://www.lrde.epita.fr/~jnewton/ Jim Newton] |
| − | * [https://www.lrde.epita.fr/~adrien/ Adrien |
+ | * [https://www.lrde.epita.fr/~adrien/ Adrien Pommellet] |
| − | * [https://www.lrde.epita.fr/~renault/ Étienne |
+ | * [https://www.lrde.epita.fr/~renault/ Étienne Renault] |
| − | * [[User:Pschlehuber|Philipp |
+ | * [[User:Pschlehuber|Philipp Schlehuber-Caissier]] |
| − | * Ghiles |
+ | * Ghiles Ziat |
=== Rennes === |
=== Rennes === |
||
| − | * Hugo |
+ | * Hugo Bazille |
| − | * [https://www.lrde.epita.fr/~uli/ Uli |
+ | * [https://www.lrde.epita.fr/~uli/ Uli Fahrenberg] (Head of research group) |
=== Toulouse === |
=== Toulouse === |
||
| − | * Quentin |
+ | * Quentin Peyras |
| − | * Souheib |
+ | * Souheib Baarir |
=== Non-permanent members === |
=== Non-permanent members === |
||
| − | * [[User:Sven|Sven |
+ | * [[User:Sven|Sven Dziadek]] |
| + | |||
| + | == Automata Seminar == |
||
| + | |||
| + | == Internal Group Meetings == |
||
| + | |||
| + | * 27-28 October 2022, Paris |
||
Revision as of 20:34, 16 August 2022
Research Group Automata and Applications
The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the Spot library for manipulation of ω-automata. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving.
News
Members
The Automata group is split over three sites, Paris, Rennes, and Toulouse.
Paris
- Amazigh Amrane
- Alexandre Duret-Lutz
- Jim Newton
- Adrien Pommellet
- Étienne Renault
- Philipp Schlehuber-Caissier
- Ghiles Ziat
Rennes
- Hugo Bazille
- Uli Fahrenberg (Head of research group)
Toulouse
- Quentin Peyras
- Souheib Baarir
Non-permanent members
Automata Seminar
Internal Group Meetings
- 27-28 October 2022, Paris