Ghilezan, Silvia
![](/image/cris/bar-loader.gif)
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
![](/image/cris/bar-loader.gif)
Subject
- 1 combinatory logic | completeness | computational systems | equational theory | intersection types | semantics | soundness | type theory
- 1 Covid-19 | Digital Contact Tracing | Distributed Hash Tables | Structured Overlay Networks | Bluetooth | GPS
- 1 Data Privacy | Blockchain | Contact Tracing
- 1 Probabilistic reasoning | combinatory logic | simple types | classical propositional logic
Results 1-7 of 7 (Search time: 0.003 seconds).
Results 1-2 of 2 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |