Personal profile
Personal information
Giuseppe Greco is a researcher at the department of Ethics, Governance and Society of the Vrije Universiteit Amsterdam. He also worked as a postdoc at the Utrecht University and the TU Delft. He holds a PhD in Mathematical Logic and Computer Science from the Universita degli Studie di Siena (2011).
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Algebraic Proof Theory for LE-logics
Greco, G., Jipsen, P., Liang, F., Palmigiano, A. & Tzimoulis, A., Jan 2024, In: ACM Transactions on Computational Logic. 25, 1, p. 1-37 37 p., 6.Research output: Contribution to Journal › Article › Academic › peer-review
Open AccessFile85 Downloads (Pure) -
Linear Logic Properly Displayed
Greco, G. & Palmigiano, A., Apr 2023, In: ACM Transactions on Computational Logic. 24, 2, p. 1-56 56 p., 3570919.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
Labelled Calculi for Lattice-Based Modal Logics
van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-47 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile59 Downloads (Pure) -
Labelled Calculi for the Logics of Rough Concepts
van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-188 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile27 Downloads (Pure) -
Lambek–Grishin Calculus: Focusing, Display and Full Polarization
Greco, G., Moortgat, M., Richard, V. D. & Tzimoulis, A., 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Springer Science and Business Media B.V., p. 877-915 39 p. (Outstanding Contributions to Logic; vol. 25).Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
Open AccessFile81 Downloads (Pure)
-
Startersbeurs: Multi-level and multi-sector values and collaboration (top-up grant)
Greco, G. (Principal Investigator) & Laing, B. (Project Researcher)
1/01/23 → 31/12/28
Project: Research
-
Startersgrant: Multi-level and multi-sector values and collaboration (top up)
Quintelier, K. (Principal Investigator), Greco, G. (Project Researcher) & Kroll, C. M. (Project Researcher)
1/04/22 → 31/03/27
Project: Research
-
NWO project: Explainable AI for auditing
Greco, G. (Project Researcher), Manoorkar, K. B. (PhD candidate) & Palmigiano, A. (Principal Investigator)
1/12/21 → 30/11/25
Project: Research
-
Logics for Categorization - Aspasia
Palmigiano, A. (Principal Investigator) & Greco, G. (Project Researcher)
13/03/20 → 15/03/25
Project: Research