Research output per year
Research output per year
Personal profile
Research interests
programming language semantics; computation models; security and privacy; rewriting.
Research interests (short)
Programming languages, Security, Rewriting
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
Doctor of Science, On multi-paradigm computation models: types, modularity, semantics, University of Paris XI - University of Paris-Sud
Award Date: 1 Jan 2000
Doctor of Philosophy, Multi-paradigm computation models based on rewriting, University of Paris XI - University of Paris-Sud
Award Date: 1 Jan 1993
Master of Informatics, A Functional and Logic Programming Language, ESLAI - National University of Lujan
Award Date: 1 Jan 1988
Bachelor of Engineering, University of the Republic, Uruguay
Award Date: 1 Jan 1986
External positions
Executive Committee Member, ACM SIGLOG
1 Mar 2023 → 1 Mar 2028
President, European Association for Computer Science Logic
1 Jan 2023 → 31 Dec 2027
General Secretary, European Association for Programming Languages and Systems
1 Feb 2019 → 1 Feb 2029
Fingerprint
Dive into the research topics where Maribel Fernandez is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Axiomatic Category-Based Access Control Model for Smart Homes
Bertolissi, C., Fernandez, M. & Thuraisingham, B., 1 Sept 2024, Proceedings LOPSTR 2024. Springer, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile45 Downloads (Pure) -
Automated Generation and Update of Structured ABAC Policies
Bamberger, A. & Fernández, M., 21 Jun 2024, SaT-CPS 2024 - Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems. Association for Computing Machinery, Inc, p. 31-40 10 p. (SaT-CPS 2024 - Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access1 Citation (Scopus) -
Category-Based Administrative Access Control Policies
Bertolissi, C., Fernandez, M. & Thuraisingham, B., 1 Sept 2024, (Accepted/In press) In: ACM Transactions on Privacy and Security.Research output: Contribution to journal › Article › peer-review
Open AccessFile36 Downloads (Pure) -
Certified First-Order AC-Unification and Applications
Ayala-Rincón, M., Fernandez, M., Silva, G. F., Kutsia, T. & Nantes-Sobrinho, D., 1 Oct 2024, (Accepted/In press) In: JOURNAL OF AUTOMATED REASONING.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Downloads (Pure) -
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language
Fernandez, M. & MacKie, I., 9 Sept 2024, Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Co-located with the 26th International Symposium on Formal Methods. Association for Computing Machinery, 6. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access
-
FAME: Flexible dynamic Access control with ML-powered policies and Explanations
Fernandez, M. (Primary Investigator)
1/10/2021 → 31/03/2025
Project: Research
-
Fernandez, Leverhulme Visiting Professorship
Fernandez, M. (Primary Investigator)
15/05/2022 → 31/07/2023
Project: Research
-
NTVE: Nominal Techniques for Verification Environments
Fernandez, M. (Primary Investigator) & Urban, C. (Co-Investigator)
15/11/2021 → 14/11/2024
Project: Research
-
Category Based Access Controls and Data Collection
Fernandez, M. (Primary Investigator)
1/03/2018 → 28/02/2019
Project: Research
-
ZENOVER
Chockler, H. (Primary Investigator) & Fernandez, M. (Co-Investigator)
1/01/2016 → 31/12/2018
Project: Research
Activities
-
ACM CODASPY 2022 - 12th Int Conf on Data and Application Security and Privacy
Fernandez, M. (Chair)
25 Apr 2022 → 27 Apr 2022Activity: Participating in or organising an event › Participation in conference
-
European Association for Programming Languages and Systems (External organisation)
Fernandez, M. (Member)
1 Feb 2020Activity: Membership › Membership of board
-
European Association for Computer Science Logic (External organisation)
Fernandez, M. (Member)
1 Jan 2020Activity: Membership › Membership of board
-
LOPSTR 2020 - 30th International Conference on Logic-Based Program Synthesis and Transformation
Fernandez, M. (Chair)
2020 → …Activity: Participating in or organising an event › Participation in conference
-
CSL 2020 - Annual Conference of the European Association for Computer Science Logic
Fernandez, M. (Chair)
2020Activity: Participating in or organising an event › Participation in conference
Prizes
-
Distinguished Member of the ACM
Fernandez, M. (Recipient), 1 Dec 2020
Prize: National/international honour
-
European Association for Computer Science Logic - Board Member
Fernandez, M. (Recipient), 1 Jan 2020
Prize: Election to learned society
-
European Association for Programming Languages and Systems - Board Member
Fernandez, M. (Recipient), 1 Jan 2019
Prize: Election to learned society
-
President of the European Association for Computer Science Logic
Fernandez, M. (Recipient), 1 Jan 2023
Prize: Election to learned society