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 with Round 2 of Three Minute Thesis!

    7th December 2021  14:00 - 16:00
    G.07 (hybrid)

  • Lab meeting

    17th December 2021  14:00 - 16:00

  • Lab meeting

    31st December 2021  14:00 - 16:00

  • Lab meeting

    14th January 2022  14:00 - 16:00

  • Lab meeting

    28th January 2022  14:00 - 16:00

Some of the AIML members (Summer 2020)

Digiflow at DemoFest 2019

Copyright © 2021 The AI Modelling Lab