• Team member at PlantingSpace | Software Engineering | Symbolic - Numeric Computation.

• Founding member of the JuliaReach open-source software organization and research group. For details on our ongoing projects, see http://github.com/JuliaReach. Recent activities can also be found in the JuliaReach youtube channel.

Born in Uruguay (Montevideo, 1988), I graduated in Physics from Univ. de la República (Facultad de Ciencias), and in Electrical Engineering (Facultad de Ingeniería). I moved to France for a PhD in Mathematics and Informatics (Univ. Joseph Fourier), writing a thesis on the quantum random walk, a mathematical model of particular interest in Quantum Computing, under the supervision of Pablo Arrighi and Alain Joye.

I'm a former post-doc researcher at VERIMAG laboratory of Université Grenoble Alpes (2016-2017) under the supervision of Oded Maler and Goran Frehse. VERIMAG is a leading French research center in embedded systems, which include avionics/aeronautics, space, transport, automotive, telecommunications, smart cards and consumer electronics domains.

I'm passionate about Applied Mathematics, Mathematical Engineering and Modeling and Simulations.

In particular, I focus on developing innovative numerical tools that impact decisions regarding reliability, correctness and safety of systems. I specialize on formal verification of Cyber-Physical Systems (CPS), hybrid dynamical systems, correct-by-design systems, and robustness analysis of neural networks. Besides, I'm also interested in applied category theory for the engineering sciences.

You can find a list of my publications following this link.

You can chat with me in Gitter, Discourse, Slack, Zulip. My email is mforets at gmail.com.