Professor Dan Ghica

Professor Dan Ghica

School of Computer Science
Chair

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Dan Ghica is a Professor of Semantics of Programming Languages in the School of Computer Science at the University of Birmingham. 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 "Nominal string diagrams". 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, Acygn.

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:

Professor Dan Ghica - personal webpage

Publications

Recent publications

Article

Cheung, S, Ghica, D & Muroya, K 2021, 'Transparent synchronous dataflow', The Art, Science, and Engineering of Programming, vol. 5, no. 3, 12. https://doi.org/10.22152/programming-journal.org/2021/5/12

Ghica, DR & Alyahya, K 2019, 'Latent semantic analysis of game models using LSTMs', Journal of Logical and Algebraic Methods in Programming, vol. 106, pp. 39-54. https://doi.org/10.1016/j.jlamp.2019.04.003

Muroya, K & Ghica, DR 2019, 'The dynamic geometry of interaction machine: a token-guided graph rewriter', Logical Methods in Computer Science, vol. 15, no. 4, 4340. https://doi.org/10.23638/LMCS-15(4:7)2019

Conference article

Ghica, DR 2021, 'Operational semantics with hierarchical abstract syntax graphs', Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 334, pp. 1-10. https://doi.org/10.4204/eptcs.334.1

Conference contribution

Ghica, DR & Ambridge, TW 2021, Global optimisation with constructive reals. 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. https://doi.org/10.1109/LICS52264.2021.9470549

Cheung, S, Darvariu, V, Ghica, DR, Muroya, K & Rowe, RNS 2018, A functional perspective on machine learning via programmable induction and abduction. 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. https://doi.org/10.1007/978-3-319-90686-7_6

Ghica, D & Lopez, A 2018, A structural and nominal syntax for diagrams. 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. https://doi.org/10.4204/EPTCS.266.4

Muroya, K & Ghica, D 2018, Efficient implementation of evaluation strategies via token-guided graph rewriting. in Proceedings of the Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017). Electronic Proceedings in Theoretical Computer Science, vol. 265, Open Publishing Association, pp. 52-66, Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017), Oxford, United Kingdom, 8/09/17. <http://eptcs.web.cse.unsw.edu.au/content.cgi?WPTE2017>

Muroya, K, Cheung, SWT & Ghica, D 2018, The Geometry of Computation-Graph Abstraction. in Proceedings of LICS ’18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Oxford, United Kingdom, 9/07/18. https://doi.org/10.1145/3209108.3209127

Ghica, DR, Jung, A & Lopez, A 2017, Diagrammatic Semantics for Digital Circuits. in V Goranko & M Dam (eds), 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). vol. 82, 24, Leibniz International Proceedings in Informatics, vol. 82, Schloss Dagstuhl, pp. 24:1-24:16, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.24

Ghica, DR & Alyahya, K 2017, On the Learnability of Programming Language Semantics. in M Bartoletti, L Bocchi, L Henrio & S Knight (eds), Proceedings 10th Interaction and Concurrency Experience (ICE 2017) . Electronic Proceedings in Theoretical Computer Science, vol. 261, Open Publishing Association, pp. 57-75, 10th Interaction and Concurrency Experience (ICE 2017) , Neuchatel, Switzerland, 22/06/17. https://doi.org/10.4204/EPTCS.261.7

Muroya, K & Ghica, D 2017, The dynamic geometry of interaction machine: a call-by-need graph rewriter. in V Goranko & M Dam (eds), 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)., 32, Leibniz International Proceedings in Informatics (LIPIcs), vol. 82, Schloss Dagstuhl, pp. 32:1-32:15, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.32

Ghica, D & Jung, A 2016, Categorical Semantics of Digital Circuits. in Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, pp. 41-48, Formal Methods in Computer-Aided Design (FMCAD 2016), Mountain View, CA, United States, 3/10/16.

Gabbay, MJ, Ghica, D & Petrisan, D 2015, Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. in S Kreutzer (ed.), Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). vol. 41, Leibniz International Proceedings in Informatics (LIPIcs), vol. 41, Schloss Dagstuhl, pp. 347-389, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany, 7/09/15. https://doi.org/10.4230/LIPIcs.CSL.2015.374

Fleming, ST, Beretta, I, Thomas, DB, Constantinides, GA & Ghica, DR 2015, PushPush: Seamless integration of hardware and software objects via function calls over AXI. in 25th International Conference on Field Programmable Logic and Applications, FPL 2015., 7294024, 25th International Conference on Field Programmable Logic and Applications, FPL 2015, Institute of Electrical and Electronics Engineers (IEEE), 25th International Conference on Field Programmable Logic and Applications, FPL 2015, London, United Kingdom, 2/09/15. https://doi.org/10.1109/FPL.2015.7294024

View all publications in research portal