Professor Dan Ghica

School of Computer Science
Chair

Contact details

Telephone: +44 (0) 121 414 8819
Email: d.r.ghica@cs.bham.ac.uk

Address: School of Computer Science
University 麻豆精选
Edgbaston
Birmingham
B15 2TT
UK

Dan Ghica is a Professor of Semantics of Programming Languages in the School of Computer Science at the University 麻豆精选. He is also a member of Theory of Computation research group.

Prof. Ghica is researching theoretical aspects of programming languages such as type systems and semantics, particularly using string diagrams. He is currently holding an EPSRC Grant for the study of . The main practical problem he works on is transparently compiling conventional programming languages on unconventional architectures ("seamless computing"). He is a lead in a new startup using these advanced technologies in the context of cloud computing, .

Prof. Ghica is also the director of the Programming Language Laboratory in the Huawei Research Centre, Edinburgh.

Please follow the link for more information about Dan's work:

Publications

Recent publications

Article

Ghica, D, Muroya, K & Waugh Ambridge, T 2025, '', Logical Methods in Computer Science, vol. 21, no. 2, 8, pp. 8:1鈥�8:95.

Alvarez-Picallo, M, Freund, T, Ghica, DR & Lindley, S 2024, '', Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, 358, pp. 2462-2489.

Wilson, P, Ghica, D & Zanasi, F 2024, '', Logical Methods in Computer Science, vol. 20, no. 4, pp. 8:1-8:24.

Ghica, D, Lindley, S, Bravo, MM & Pir贸g, M 2022, '', Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, pp. 1639-1667.

Cheung, S, Ghica, D & Muroya, K 2021, '', The Art, Science, and Engineering of Programming, vol. 5, no. 3, 12.

Ghica, DR & Alyahya, K 2019, '', Journal of Logical and Algebraic Methods in Programming, vol. 106, pp. 39-54.

Chapter

Ghica, DR 2023, . in A Palmigiano & M Sadrzadeh (eds), Samson Abramsky on Logic and Structure in Computer Science and Beyond. 1 edn, Outstanding Contributions to Logic, vol. 25, Springer, pp. 219-250.

Conference article

Ghica, DR 2021, '', Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 334, pp. 1-10.

Conference contribution

Tiurin, A, Barrett, C, Ghica, DR & Hu, N 2025, . in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 11186301, Annual Symposium on Logic in Computer Science, IEEE, pp. 209-222, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 23/06/25.

Di Giorgio, A, Ghica, DR & Zanasi, F 2025, . in J Endrullis & M Tichy (eds), Graph Transformation: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11鈥�12, 2025, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 15720, Springer, pp. 24-43, 18th International Conference on Graph Transformation, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, 11/06/25.

Alvarez-Picallo, M, Ghica, D, Sprunger, D & Zanasi, F 2023, . in B Klin & E Pimentel (eds), 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)., 6, Leibniz International Proceedings in Informatics, LIPIcs, vol. 252, Schloss Dagstuhl, 31st EACSL Annual Conference on Computer Science Logic, Warsaw, Poland, 13/02/23.

Ghica, DR & Kaye, G 2023, . in M Gaboardi & F van Raamsdonk (eds), 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., 14, Leibniz International Proceedings in Informatics, LIPIcs, vol. 260, Schloss Dagstuhl, 8th International Conference on Formal Structures for Computation and Deduction , Rome, Italy, 3/07/23.

Wilson, P, Ghica, D & Zanasi, F 2023, . in B Klin & E Pimentel (eds), 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)., 37, Leibniz International Proceedings in Informatics, LIPIcs, vol. 252, Schloss Dagstuhl, 31st EACSL Annual Conference on Computer Science Logic, Warsaw, Poland, 13/02/23.

Alvarez-Picallo, M, Ghica, D, Sprunger, D & Zanasi, F 2022, . in AP Felty (ed.), 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)., 29, Leibniz international proceedings in informatics, vol. 228, Schloss Dagstuhl, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, 2/08/22.

Ghica, DR & Ambridge, TW 2021, . in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 9470549, Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers (IEEE), 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Virtual, Online, 29/06/21.