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

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.

Muroya, K & Ghica, DR 2019, '', Logical Methods in Computer Science, vol. 15, no. 4, 4340.

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

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.

Cheung, S, Darvariu, V, Ghica, DR, Muroya, K & Rowe, RNS 2018, . in JP Gallagher & M Sulzmann (eds), Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9鈥�11, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10818, Springer, pp. 84-89, 14th International Symposium on Functional and Logic Programming, (FLOPS 2018), Nagoya, Japan, 9/05/18.

Ghica, D & Lopez, A 2018, . in B Coecke & A Kissinger (eds), Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017). Electronic Proceedings in Theoretical Computer Science, vol. 266, Open Publishing Association, pp. 71-83, 14th International Conference on Quantum Physics and Logic (QPL), Nijmegen, Netherlands, 3/07/17.