Professor Dr. Maribel Fernandez

Biography

Maribel Fernández is a Professor in Computer Science at King's College London, where she also serves as Vice-Dean (People & Planning) in the Faculty of Natural, Mathematical & Engineering Sciences. Her research focuses on the development of tools for the specification, analysis, and verification of software systems. She is known for her work in modeling systems across various domains such as biology, finance, and social networks, and has collaborated on creating an interactive graph-rewriting engine. Maribel earned her Engineering degree from the University of the Republic in Uruguay and a Master's in Computer Science from ESLAI in Argentina, completing her PhD at the University of Paris XI. She joined King's College London as a lecturer in 2002 and was promoted to Professor in 2011. Throughout her career, she has held various leadership roles, including Head of the Systems Modelling and Applied Logic group and Deputy Head of the Department of Informatics. Maribel is an active member of several professional organizations, including the European Association for Computer Science Logic and ACM SIGLOG. Her work has significantly contributed to fields such as programming languages, computational models, and security, reflecting the intersection of computer science and practical applications in contemporary society.

Research Interests

Experience

Awards