-
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.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent