Dr Paulius Stankaitis

Dr Paulius Stankaitis is a Lecturer in AI/Data Science at the University of Stirling. He obtained his PhD degree from Newcastle University (United Kingdom) in the area of formal methods. His current research focuses on developing formal methods tools and techniques for trustworthy AI, cyber-physical systems and Digital Twins. He previously worked with companies such as Siemens Rail Automation, The Formal Route and Systra Scott Lister in developing and deploying practical formal methods to industry.

Member of Program Committee: SAIV (Symposium on AI Verification), FMAS (Workshop on Formal Methods for Autonomous Systems)