Sebastián Guadalupe
About
Detail
Software Engineer Junior
Maldonado Department, Uruguay
Contact Sebastián regarding:
groups
Networking
Timeline
work
Job
school
Education
folder
Project
auto_stories
Publication
Résumé
Jobs
verified_user
50% verified
Software Engineer verified_user Verified experience public Remote experienceTorre.aiJun 2023 - Current (1 year 8 months)- JIntern public Remote experienceJulia ComputingJun 2020 - Dec 2020 (7 months)- Developed the existing Zonotope implementation in the Julia library LazySets.jl. - Implemented scalable methods to verify input-output properties of DNNs in NeuralVerification.jl, reworking the Reachability algorithm Ai2.
Education
verified_user
0% verified
- Desarrollo de aplicaciones web public Remote experienceInstituto Hack AcademyJul 2022 - Aug 2022 (2 months)An extremely practical 3-month, full-time educational program where I dedicated over 600 hours to the practice of Node.js, React.js, SQL, MongoDB and Git.
Projects
verified_user
0% verified
- Final project public Remote experienceInstituto Hack AcademySep 2022
Publications
verified_user
0% verified
- JVerification of Neural-Network Control Systems by Integrating Taylor Models and ZonotopesVerificationJulia ReachMar 2022 - Jun 2022 (4 months)We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable states. When considering dynamical systems and neural networks in isolation, there exist precise approaches for that task based on set representations respectively called Taylor models and zonotopes. However, the combination of these approaches to NNCS is non-trivial because, when converting between the set representations, dependency information gets lost in each control cycle and the accumulated approximation error quickly renders the result useless. We present an algorithm to chain approaches based on Taylor models and zonotopes, yielding a precise reachability algo