Maribel Fernandez -

Registered user since Sun 28 Nov 2021

Name:Maribel Fernandez

Country:United Kingdom

Affiliation:King's College London

Personal website: https://nms.kcl.ac.uk/maribel.fernandez/

Contributions

2025

CPP

Author of Nominal Matching Logic With Fixpoints within the CPP 2025-track

2024

ICGT

PC Member in Program Committee

FLOPS

Committee Member in Programme Committee within the FLOPS 2024-track

2023

LOPSTR

Author of From Static to Dynamic Access Control Policies via Attribute-Based Category Mining within the LOPSTR 2023-track
Author of Unification Modulo Equational Theories in Languages with Binding Operators within the LOPSTR 2023-track

PPDP

Author of Unification modulo equational theories in languages with binding operators within the PPDP 2023-track

STAF

Session Chair of STAF Keynote / ICGT Session 1 (part of Keynotes)

ICGT

2022

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track