Maribel Fernandez

Professor Maribel Fernández is the Vice-Dean (People & Planning) in the Faculty of Natural, Mathematical & Engineering Sciences and holds a Professorship in Computer Science at King's College London's Department of Informatics. She leads academic planning and equality initiatives while maintaining her research focus on formal methods, security, and rewriting systems.

Education: Engineering (Uruguay), Computer Science (ESLAI, Argentina), PhD and Habilitation in Computer Science (University of Paris XI). She joined King's in 2002, progressing from Lecturer to Professor (2011), and served as Head of the Systems Modelling and Applied Logic group (2017) and Deputy Head of Department (2024).

Research interests span programming language semantics, security protocols, graph transformation systems, and formal verification. Her work includes developing tools like the PORGY platform for system modeling and the NOMINAL framework for unification algorithms. She explores applications in cybersecurity (e.g., access control policies), privacy-preserving architectures, and computational finance.

Awards: ACM Distinguished Scientist (2020), IEEE Big Data Security Award (2020), King's Supervisory Excellence Award (2016). She chairs the Ackermann Award jury and serves on EPSRC/NCSC cybersecurity committees.

Leadership roles include President of the European Association for Computer Science Logic (2023–2027) and Executive Board member of ACM SIGLOG. Her research hubs at King's address FinTech, cybersecurity, and autonomous systems.