Name : Maribel Fernandez

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

Email : maribel.fernandez@kcl.ac.uk

Affilation : Deputy Head of Department (Academic Planning) Department of Informatics , King’s College London

• 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