Skip to content


  • Arctic Code Vault Contributor
  • Pro


@JuliaOpt @JuliaPolyhedra @JuliaAlgebra @JuliaReach @JuliaStochOpt


  1. Set Programming with JuMP

    Julia 16 2

  2. Sum of Squares Programming for Julia

    Julia 70 16

  3. Multivariate polynomials interface

    Julia 71 14

  4. Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface

    Julia 20 7

  5. Polyhedral Computation Interface

    Julia 99 17

  6. Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming

    Julia 12 2

2,010 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2021

Created a pull request in jump-dev/MutableArithmetics.jl that received 1 comment

Add back _iszero workaround

Closes #64

+8 −9 1 comment
Opened 2 other pull requests in 2 repositories
1 open
1 open
Reviewed 6 pull requests in 4 repositories
jump-dev/MutableArithmetics.jl 3 pull requests
jump-dev/JuMP.jl 1 pull request
jump-dev/GLPK.jl 1 pull request
jump-dev/MathOptInterface.jl 1 pull request

Created an issue in blegat/Dionysos.jl that received 8 comments

Growth bound

For: Dionysos.jl/src/controlsystem.jl Line 37 in 4bb56a8 why do we use RK4 and not a matrix exponential since F_growthbound is linear in r

Opened 5 other issues in 2 repositories

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.