Marcelo Alejandro Forets
Researcher in Applied Mathematics. Developer. Grado 3, Universidad de la República (CURE), Uruguay.
Departamento de Matemática y Aplicaciones
Centro Universitario Regional del Este (CURE), UdelaR
Maldonado, Uruguay
Marcelo Forets is a researcher and developer working on formal verification of dynamical systems. He develops numerical methods that impact decisions regarding correctness and safety of mechanical, electronic, or cyber-physical systems.
He was born in Montevideo, Uruguay (1988), graduated in Physics from Universidad de la República (Facultad de Ciencias), and then in Electrical Engineering (Facultad de Ingeniería). He moved to France for a PhD in Mathematics and Informatics (Univ. Joseph Fourier, 2013–2015), writing a thesis on quantum computational models and the mathematical physics of the quantum-mechanical version of the random walk. He was a post-doctoral researcher at the VERIMAG laboratory of Université Grenoble Alpes, a leading research institute on verification and cyber-physical systems.
He is currently one of the lead developers of JuliaReach, an open-source software toolbox for reachability computations of dynamical systems.
Contact information
- Email:
mforetsat gmail.com
latest posts
| Dec 27, 2018 | JuMP-dev Upcoming Workshop |
|---|---|
| Apr 02, 2018 | Joining Hybrid Systems: Computation and Control (HSCC2018) |
| Jan 25, 2018 | SageMath Google Summer of Code 2018 Proposal |