MEHRAN  HOSSEINI

I'm a research associate at the Department of Informatics at King's College London working with Nicola Paoletti. My work focuses on safe and verifiable AI.

In more details, I use techniques from formal verification and optimisation to evaluate the safety of neural networks and agents against desired safety specifications. Specifications that I have been working on recently include bounded and unbounded temporal specifications, as well as adversarial robustness.

Before Joining King's College, I was working with Alessio Lomuscio at Imperial College London's Department of Computing. Prior to this, I completed my DPhil in computer science at Oxford University, where I was lucky to have James Worrell and Joël Ouaknine as my supervisors.

           

Avatar

Selected Publications

Bayesian Neural Network

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

Ben Batten, Mehran Hosseini*, Alessio Lomuscio - PDF coming soon!.

OpenAI Lunar Lander

Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments

Mehran Hosseini*, Alessio Lomuscio - AAMAS 2023 - PDF.

Polyhedron Constraint

On Termination and Divergence of Linear Programs

Mehran Hosseini* - University of Oxford 2021 - PDF.

Polyhedron Constraint

Termination of Linear Loops over the Integers

Mehran Hosseini*, Joël Ouaknine, James Worrell - ICALP 2019 - PDF.

Fibonacci Spiral

Effective Divergence Analysis for Linear Recurrence Sequences

Shaull Almagor, Brynmor Chapman, Mehran Hosseini*, Joël Ouaknine, James Worrell - CONCUR 2018 - PDF.

Fibonacci Spiral

Isomorphism Classes of Doche-Icart-Kohel Curves over Finite Fields

Mehran Hosseini*, Reza Rezaeian Farashahi - Finite Fields and Their Applications 2016 - PDF.

Teaching, Leadership, & Service

Imperial College London

Imperial College

Service

  • Organiser: VAS group's weekly seminars
Oxford University

University of Oxford

Teaching

  • Computational Complexity (Graduate)
  • Foundations of Computer Science (Graduate)

Leadership & Service

  • President of Oxford University Iranian Society (2018-2020)
  • President of Linacre College's tennis and pool societies (2018-2020)
  • Undergraduate Admission, Trinity College, Oxford
Isfahan University of Technology

Isfahan University of Technology

Lecturing

  • Calculus I Programming with Maple (Undergraduate)

Teaching

  • Cryptography (Graduate)
  • Computational Geometry (Graduate)
  • Programming with Maple (Graduate)
  • Programming with Maple (Undergraduate)
  • Mathematical Analysis I & II (Undergraduate)