Skip to content
The AI Modelling Lab
The AI Modelling Lab
AIM High!
  • Members
  • Talks
  • Recent Publications
  • Projects
  • News
  • Potential PhD Topics
  • Vacancies

Tag: formal verification

Mark Chevallier passes his second year PhD review

4th September 2020 admin

Mark successfully passed his second year PhD  review on formal verification applied to machine learning. His panel consisted of Pavlos…

Continue Reading →

Lab Events

  • Lab meeting

    3rd February 2023  14:00 - 15:00
    Teams

  • Lab meeting @IF 3.02

    10th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    10th March 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th March 2023  14:00 - 16:00

Some of the AIML Members (Winter 2021)

Digiflow at DemoFest 2019

Copyright © 2023 The AI Modelling Lab