Research output per year
Research output per year
Personal profile
Keywords
- Multiparty computation
- Type theory
- Programming languages
- Coq
Fingerprint
Dive into the research topics where Dawit Tirore 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
Research output
- 1 Conference article
-
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access
Projects
- 1 Active
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
Independent Research Fund Denmark
01/09/2021 → 28/02/2025
Project: Research