Professor Sven Schewe Dr. Head of AI Section Computer Science +44 (0)151 795 0396 Work email Sven.Schewe@liverpool.ac.uk Personal Websitehttp://www.csc.liv.ac.uk/~sven/ About Research Publications Teaching Professional Activities Teaching Modules for 2023-24 Safety and Dependability Module code: COMP524 Role: Module Co-ordinator Supervised ThesesA Semantic Testing Approach for Deep Neural Networks Using Bayesian Network AbstractionAchieving Power Efficiency in Hardware Circuits with Symbolic Discrete ControlEquilibria in Finite GamesHidden Probabilistic One-Counter AutomataMobility Problems in Distributed Search and Combinatorial GamesOptimisation in multi-mode systemsPropositional Gossip ProtocolsRobust Computational Frameworks for Power Grid Reliability, Vulnerability and Resilience Analysis