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
-
Finding candidate keys and 3NF via strategic port graph rewriting
Fernandez, M. & Varga, J., 8 Sept 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. Association for Computing Machinery, 3414090. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
2 Citations (Scopus) -
Labelled Graph Strategic Rewriting for Social Networks
Fernández, M., Kirchner, H., Pinaud, B. & Vallet, J., Apr 2018, In: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. 96, p. 12–40Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Citations (Scopus)131 Downloads (Pure) -
Labelled Port Graph – A Formal Structure for Models and Computations
Fernández, M., Kirchner, H. & Pinaud, B., 30 Oct 2018, In: Electronic Notes in Theoretical Computer Science. 338, p. 3-21 19 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Citations (Scopus) -
Normalization, Approximation, and Semantics for combinator systems
van Bakel, S. & Fernandez, M., 1 Jan 2003, In: Theoretical Computer Science. 290, 1, p. 975 - 1019 45 p.Research output: Contribution to journal › Article › peer-review
9 Citations (Scopus)