Professor Maribel Fernandez
Interim Vice Dean (Education)
- Deputy Head of Department, Academic Planning (Informatics)
- Corner editor of the International Journal on Logic and Computation, OUP
- Executive Board Member – Logical Methods in Computer Science journal
Research interests
- Computer science
Biography
About
- President of the European Association for Computer Science Logic (EACSL) and chair of the Ackermann Award Jury (EACSL Outstanding Dissertation Award for Logic in Computer Science)
- EAPLS Board member (European Association for Programming Languages and Systems)
- ACM SIGLOG Executive Committee member
Research Interests
- Programming languages (semantics, types, security)
- Models of computation
- Security
- Rewriting
More Information
Research
Finance (Informatics)
The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.
Security (Informatics)
The Security Hub consolidates the research related to security
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
Trusted Autonomous Systems (Informatics)
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.
Sustainability Hub
The Sustainability Hub consolidates the research related to sustainability
King's Cybersecurity Centre
King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.
Software Systems
The group studies design, modelling and engineering of software systems.
News
Simplifying software verification techniques
Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software verification...
King's Professor Maribel Fernández recognised as Distinguished Member by the Association for Computing Machinery for Outstanding Scientific Contributions to Computing
The global accolade recognises the impact and significance of Maribel’s accomplishments in computer science.
Professor wins Supervisory Excellence Award
Maribel Fernandez, Professor of Computer Science in the Department of Informatics, has been awarded the King’s Supervisory Excellence Award for the Faculty of...
Research
Finance (Informatics)
The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.
Security (Informatics)
The Security Hub consolidates the research related to security
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
Trusted Autonomous Systems (Informatics)
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.
Sustainability Hub
The Sustainability Hub consolidates the research related to sustainability
King's Cybersecurity Centre
King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.
Software Systems
The group studies design, modelling and engineering of software systems.
News
Simplifying software verification techniques
Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software verification...
King's Professor Maribel Fernández recognised as Distinguished Member by the Association for Computing Machinery for Outstanding Scientific Contributions to Computing
The global accolade recognises the impact and significance of Maribel’s accomplishments in computer science.
Professor wins Supervisory Excellence Award
Maribel Fernandez, Professor of Computer Science in the Department of Informatics, has been awarded the King’s Supervisory Excellence Award for the Faculty of...