PhD. Eng. Marcelo Forets Researcher in Applied Mathematics

Collaborators

Here I keep track of past and present scientific collaborators. It it roughly separated into topics (though there are overlaps), and inside each table, the ordering is alphabetical. In some cases the data (affiliations) may be outdated.

Hybrid Systems and Formal Verification

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.

Dynamical Systems and Mathematical Optimization

Keywords: control theory, polynomial optimization.

Name Affiliation
Victor Magron CNRS and VERIMAG, Univ. Grenoble Alpes, France.
Amaury Pouly Max-Planck Institute for Software Systems, Saarbrücken, Germany.

Quantum Computation

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.