Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A robust graph-based approach to observational equivalence
Ghica, D., Muroya, K. & Waugh Ambridge, T., 24 Apr 2025, In: Logical Methods in Computer Science. 21, 2, p. 8:1–8:95 95 p., 8.Research output: Contribution to journal › Article › peer-review
Open AccessFile38 Downloads (Pure) -
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
Tiurin, A., Barrett, C., Ghica, D. R. & Hu, N., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 209-222 14 p. 11186301. (Annual Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile5 Downloads (Pure) -
Rewriting for Traced Monoidal Closed Categories
Di Giorgio, A., Ghica, D. R. & Zanasi, F., 5 Jul 2025, Graph Transformation: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings. Endrullis, J. & Tichy, M. (eds.). 1 ed. Springer, p. 24-43 20 p. (Lecture Notes in Computer Science; vol. 15720).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Effect Handlers for C via Coroutines
Alvarez-Picallo, M., Freund, T., Ghica, D. R. & Lindley, S., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, p. 2462-2489 28 p., 358.Research output: Contribution to journal › Article › peer-review
Open AccessFile44 Downloads (Pure) -
String diagrams for Strictification and Coherence
Wilson, P., Ghica, D. & Zanasi, F., 29 Oct 2024, In: Logical Methods in Computer Science. 20, 4, p. 8:1-8:24 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile24 Downloads (Pure)
-
Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/05/24 → 31/03/27
Project: Research Councils
-
Nominal String Diagrams
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/20 → 31/05/24
Project: Research Councils
-
System-Level Game Semantics: A unifying framework for composing systems
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/16 → 30/11/19
Project: Research Councils
-
A Higher Order approach to Codesign
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
17/06/13 → 16/12/16
Project: Research Councils
-
Postgraduate Research Studentship - Structural Foundation for Heterogeneous Computation
Ghica, D. (Principal Investigator)
1/10/11 → 30/09/14
Project: Industry