Skip to main content
AboutEmployees
Alireza David Anisi

Alireza David Anisi

Associate Professor

  • Department of Mechanical engineering and technology management
  • Principal Researcher with expertise within autonomous systems and robotics.
  • Currently focusing mainly on applications within agri-tech and forestry.
  • 15+ years’ industrial experience from from both defense- and oil & gas sector.
  • Passionate about bridging the gap between academic- and industrial R&D.
  • Academic background in optimization and systems theory (Ph.D.) and engineering physics (M.Sc.) both from Royal Institute of Technology (KTH), Stockholm, Sweden

  • Areas of Work

    • Applied Mathematics
    • Control Systems
    • Mathematical modeling
    • Optimization
    • Robotics
    • Agricultural Robotics

  • Publications

    Academic profile and publications

     

    • A. Azaiez, D.A. Anisi, M. Farrell M., M. Luckcuck, Revisiting Formal Methods for Autonomous Robots: A Structured Survey, In Proc. of the 26th Towards Autonomous Robotic Systems (TAROS) International Conference, York, UK, Aug, 2025, 

    • M. Adam, D.A. Anisi, P. Ribeiro, A Verification Methodology for Robotics and Autonomous Systems, In Proc. of the 26th Towards Autonomous Robotic Systems (TAROS) International Conference, York, UK, Aug, 2025

    • Y. Murray, H. Nordlie, D.A. Anisi, P. Ribeiro and A. Cavalcanti, Model checking and verification of synchronisation properties of cobot welding, In Proc. of the Sixth Internal Workshop on Formal Methods of Autonomous Systems (FMAS), UK, Nov, 2024

    • M. Adam, D.A. Anisi, T. Andersen, E. Hartmark, A. Cavalcanti, Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification, In Proc. of the 20th IEEE International Conference on Automation Science and Engineering (CASE), Bari, Italy, 2024

    • M. Adam, K. Ye, D.A. Anisi, A. Cavalcanti, J. Woodcock, R. Morris, Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment, In Prof. of the19th IEEE International Conference on Automation Science and Engineering (CASE), Auckland, New Zealand, Sep. 2023

    • Y. Murray, M. Sirevåg, P. Ribeiro, D.A. Anisi and M. Mossige, Safety assurance of an industrial robotic control system using hardware/software co-verification, Journal of Science of Computer Programming, Volume 216, 2022

    • Y. Murray, D. A. Anisi, M. Sirevåg, P. Ribeiro and R. S. Hagag, Safety Assurance of a High Voltage Controller for an Industrial Robotic System, In Proc. of the 23rd Brazilian Symposium on Formal Methods (SBMF), Nov. 2020

    • Y. Murray and D.A. Anisi, Survey of Formal Verification Methods for Smart Contracts on Blockchain, In Proc. of the 10th IFIP NTMS, June 2019, Spain

    • E.M. Espeland, B.K. Jung and D.A. Anisi, A Predictive Learning Approach to Optimal Load Sharing in Energy Management Systems, IFAC/IEEE CSS  European Control Conference (ECC), Naples, Italy, June 2019

    My publications