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 @IF 1.15

    2nd June 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    16th June 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    30th June 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    14th July 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    28th July 2023  14:00 - 16:00

Some of the AIML Members (Spring 2023)

Some Recent Work

Digiflow at DemoFest 2019

Copyright © 2023 The AI Modelling Lab