Here I keep track of people with whom I coauthor scientific papers, past or ongoing. It is organized into these topics (though there are overlaps):
In each table, the ordering is alphabetical. I apologize if there are outdated entries (e.g. affiliations).
Keywords: hybrid systems, formal verification, cyber-physical systems.
| Name | Affiliation |
|---|---|
| Sergiy Bogomolov | College of Engineering and Computer Science, ANU, Australia. |
| Thao Dang | VERIMAG, Univ. Grenoble Alpes, France. |
| Goran Frehse | VERIMAG, Univ. Grenoble Alpes, France. |
| Eric Fanchon | TIMC-IMAG Lab., Fac. de Médecine, Grenoble, France. |
| Nikolaos Kekatos | VERIMAG, Univ. Grenoble Alpes, France. |
| Stefano Minopoli | ALES/United Technologies Research Center, Rome, Italy. |
| Andreas Podelski | Software Engineering Team, University of Freiburg, Germany. |
| Alexandre Rocca | VERIMAG, Univ. Grenoble Alpes, France. |
| Christian Schilling | Software Engineering Team, University of Freiburg, Germany. |
| Frédéric Viry | ENSIMAG, Univ. Grenoble Alpes, France. |
Keywords: control theory, polynomial optimization.
| Name | Affiliation |
|---|---|
| Didier Henrion | LAAS - CNRS - Univ. Toulouse, France |
| Victor Magron | CNRS and VERIMAG, Univ. Grenoble Alpes, France. |
| Amaury Pouly | Max-Planck Institute for Software Systems, Saarbrücken, Germany. |
Keywords: quantum walks, quantum cellular automata, discrete quantum mechanics, numerical analysis, spectral theory.
| Name | Affiliation |
|---|---|
| Gonzalo Abal | LES, UdelaR, Uruguay. |
| Pablo Arrighi | Laboratoire d’Informatique Fondamentale (LIF), AMU, France. |
| Raul Donangelo | Instituto de Física (FING), UdelaR, Uruguay. |
| Stefano Facchini | Laboratoire d’Informatique de Marseille (LIF), AMU, France. |
| Vincent Nesme | Pontault-Combault, Île-de-France, France. |
| Renato Portugal | Laboratório Nacional de Computação Científica (LNCC), Brazil. |
| Armando Pérez | Instituto de Fisica Corpuscular (IFIC), UV/CSIC, España. |
| Ivan Marquez | Aix-Marseille Université and Universitat de Valencia, España. |
| Giuseppe Di Molfetta | Laboratoire d’Informatique Fondamentale (LIF), AMU, France. |