KING’S PROFESSOR MARIBEL FERNáNDEZ RECOGNISED AS DISTINGUISHED MEMBER BY THE ASSOCIATION FOR COMPUTING MACHINERY FOR OUTSTANDING SCIENTIFIC CONTRIBUTIONS TO COMPUTING
(AGENPARL) – LONDON (UK), sab 23 gennaio 2021 Maribel is Professor of Computer Science in the Department of Informatics. Her current research focuses on the development of rewrite-based tools for the specification, analysis and verification of complex systems such as software, biochemical and financial systems. Maribel’s work has also involved......