Discover

A research-level, modular and high-performance software ecosystem

Who we are

Meet the team of researchers and students that form the JuliaReach network

Team Members

Avatar

Luis Benet

Universidad Nacional Autónoma de México

Validated integration, Nonlinear Physics

Avatar

Marcelo Forets

Universidad de la República, Uruguay

Reachability Analysis, Hybrid Systems

Avatar

Daniel Freire Caporale

Universidad de la República, Uruguay

Reachability, PDEs, Fluid Mechanics

Avatar

Sebastian Guadalupe

Julia Seasons of Contributions ‘20 Student

Mathematical Modeling, Hybrid systems

Avatar

Jorge Pérez Zerpa

Universidad de la República, Uruguay

Finite Element Method, Structural Engineering, Material Identification

Avatar

David P. Sanders

Universidad Nacional Autónoma de México

Set-valued methods, Interval arithmetic, Constraint propagation

Avatar

Christian Schilling

University of Konstanz, Germany

Formal Verification, Artificial Intelligence, Cyber-Physical Systems