PhD. Eng. Marcelo Forets Researcher in Applied Mathematics. Developer.

Ongoing

Preliminary work which has not been yet submitted for publication.

  1. Reachability Computations for Formal Verification in Julia.
    See JuliaReach-AES.
    2018, work-in-progress.

  2. LazySets: a library for convex sets.
    See LazySets.jl in github.
    2018, work-in-progress.