Professor Maribel Fernandez Professor Maribel Fernandez Academics Supervisors Professor in Computer Science Deputy Head of Department, Education (Informatics). Corner editor of the International Journal on Logic and Computation, OUP. Editor of the LMS Journal of Computation and Mathematics. Research subject areas Computer science Contact details +44 020 7848 2499 maribel.fernandez@kcl.ac.uk
9 December 2021 Simplifying software verification techniques Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to…