Portrait of Arash Bahari Kordabad

Arash Bahari Kordabad

Research overview: optimization, learning and certificates steer a system through a specification with robust, probabilistic and almost-sure guarantees Research overview: optimization, learning and certificates steer a system through a specification with robust, probabilistic and almost-sure guarantees

Career & education

    Projects

    Research

      Publications

      Selected

        Talks & slides

          Slides

            Teaching & supervision

            Supervision

              Teaching

                Honours & service

                Honours

                  Reviewing

                    Collaborators

                      Contact

                      For collaborations, student projects or questions about a paper, email is the best way to reach me.