Skip to content
View d-corsi's full-sized avatar

Block or report d-corsi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
d-corsi/README.md

Hi there 👋

I am a Postdoctoral Researcher at University of California: Irvine, in the Intelligent Dynamics Lab under the supervision of Prof. Roy Fox. Previously, I worked as a visiting researcher under the supervision of Prof. Guy Katz at the Hebrew University of Jerusalem and I obtained my PhD at the University of Verona advised by Prof. Alessandro Farinelli.

Research Interests 🔭

My research interests centers on advancing Deep Reinforcement Learning (DRL) for robotics, with a focus on creating safe and reliable systems in critical settings. I tackle this from two sides: safe training through constrained reinforcement learning and validation with formal verification of neural networks. Lately, I’ve also been diving into model-based RL and world modeling —- working toward systems that can not only react but also predict what’s next. Merging theory with real-world robotic challenges is key to my approach, aiming to push boundaries in practical, forward-looking AI.

📫 Contact 📫

Pinned Loading

  1. eProVe eProVe Public

    This is the python implementation of ϵ-ProVe, a tool for the "AllDNN-Verification Problem" (i.e., the problem of computing the set of all the areas that do not result in a violation for a given DNN…

    Python

  2. lambda-PPO lambda-PPO Public

    Implementation of the lambda-PPO algorithm, an improved version of the standard Lagrangian Proximal Policy Optimization.

    Python 1

  3. NetworkVerifier NetworkVerifier Public

    A set of algorithms for the formal verification and analysis of Neural Networks, implemented in Python.

    Python 3 2

  4. BasicRL BasicRL Public

    A basic Tensorflow 2 implementation of the standard reinforcement learning algorithms, designed to solve gym-like environments.

    Python 3