Professor Maribel Fernandez

Biography

Professor Maribel Fernández is Vice-Dean (People & Planning) in the Faculty of Natural, Mathematical & Engineering Sciences and Professor of Computer Science in the Department of Informatics. 

Her research focuses on the development of tools for the specification, analysis and verification of software systems. With her collaborators, she developed an interactive graph-rewriting engine that has been used to model systems in various domains, including biology, finance and social networks.

She has applied rewriting techniques also in the area of security (access control) and data privacy. In 2020, she received the IEEE Big Data Security Senior Research Award and was named Distinguished Scientist by ACM. 

Maribel studied Engineering at the University of the Republic (Uruguay) and Computer Science at ESLAI (Argentina). After completing a PhD at the University of Paris XI, she was a lecturer at the Ecole Normale Superieure (Paris) while preparing her Habilitation thesis, which she defended in 2000.

She joined King's in 2002 as a lecturer and was promoted to Professor in 2011, serving as Head of the Systems Modelling and Applied Logic group until 2017 and then as Deputy Head of Department (Academic Planning) until 2024.

Maribel is currently the President of the European Association for Computer Science Logic, a member of the Executive Board of the European Association for Programming Languages and Systems, and a member of the ACM SIGLOG Executive Committee.

Research Interests

• Programming languages (semantics, types, security)
• Models of computation
• Security
• Rewriting

More Information

• Research Profile
• Research Funding
• Personal Website