Personal profile
Research interests
programming language semantics; computation models; security and privacy; rewriting.
Research interests (short)
Programming languages, Security, Rewriting
Education/Academic qualification
Computer Science (Habilitation), Doctor of Science, On multi-paradigm computation models: types, modularity, semantics, University of Paris XI - University of Paris-Sud
Award Date: 1 Sept 2000
Doctor of Philosophy, Multi-paradigm computation models based on rewriting, University of Paris XI - University of Paris-Sud
Award Date: 31 Dec 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
Deputy Chair, REF 2029, UoA 11
Jun 2025 → …
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
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):
-
SDG 9 Industry, Innovation, and Infrastructure
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Access Control Administration for Smart Homes
Bertolissi, C. & Fernández, M., 24 Sept 2025, Security and Trust Management - 21st International Workshop, STM 2025, Proceedings. Katsikas, S. & Alcaraz, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 63-80 18 p. (Lecture Notes in Computer Science; vol. 16137 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile4 Downloads (Pure) -
A CNN-LSTM Model for Privacy Policy Evaluation and Cookie Classification
Chiangsoi, W., Fernandez, M. & Jaimunk, J., 2025, 2025 International Technical Conference on Circuits/Systems, Computers, and Communications, ITC-CSCC 2025. Institute of Electrical and Electronics Engineers Inc., (2025 International Technical Conference on Circuits/Systems, Computers, and Communications, ITC-CSCC 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile25 Downloads (Pure) -
A Completion Procedure for Equational Rewriting Systems with Binders
Fernández, M., Nantes-Sobrinho, D. & Santaguida, D., 9 Sept 2025, (E-pub ahead of print) In: Lecture Notes in Computer Science. p. 94-112 19 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile1 Citation (Scopus)4 Downloads (Pure) -
A Nominal Approach to Equational Problems in Languages with Binders
Nantes-Sobrinho, D., Fernandez, M., Vale, D. & Ayala-Rincón, M., 17 Nov 2025, In: ACM Transactions on Computational Logic. 27, 1, 44 p., 1.Research output: Contribution to journal › Article › peer-review
Open AccessFile27 Downloads (Pure) -
A Smart Home DataBank: A Privacy-Preserving Solution for Smart Homes
Chaichana, C., Fernández, M., Jaimunk, J., Theppitak, S. & Tippayamontri, K., 17 Jul 2025, (E-pub ahead of print) In: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST. p. 226-238 13 p.Research output: Contribution to journal › Conference paper › peer-review
-
Formal Verification of Practical Nominal Unification Algorithms
Mansour, M. A. (Primary Investigator), Fernandez, M. (Co-Investigator) & Urban, C. (Co-Investigator)
31/03/2025 → 30/03/2027
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
-
FAME: Flexible dynamic Access control with ML-powered policies and Explanations
Fernandez, M. (Primary Investigator)
1/10/2021 → 31/03/2025
Project: Research
-
Category Based Access Controls and Data Collection
Fernandez, M. (Primary Investigator)
1/03/2018 → 28/02/2019
Project: Research
Activities
-
10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025
Fernandez, M. (Chair)
14 Jul 2025 → 20 Jul 2025Activity: Participating in or organising an event › Participation in conference
-
16th International Conference on Graph Transformation, ICGT 2023
Fernandez, M. (Chair)
19 Jul 2023 → 20 Jul 2023Activity: Participating in or organising an event › Participation in conference
-
European Association for Computer Science Logic (EACSL)
Fernandez, M. (President)
1 Jan 2023 → 1 Jan 2029Activity: Other › Types of External academic engagement - Contribution to the work of national or international committees and working groups
-
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
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