Dr Ozgur Akgun
Director of Impact
Lecturer
Teaching
I taught some of our core CS modules for first and second years:
- CS1003 - Programming with Data
- CS2003 - The Internet and the Web: Concepts and Programming
And honours & post-graduate level modules:
- CS4402 - Constraint Programming
- CS5929 - Discrete Optimisation
- CS4303 - Video Games
- CS5001 - Object-Oriented Modelling, Design and Programming
I enjoy supervising students at various levels including undergraduate projects, masters dissertations, and PhD students. I am also leading a VIP (Vertically Integrated Projects) called "Artificial Intelligence for Decision Making". VIPs are ongoing projects that can be taken by students for several semesters. See the general VIP webpage for more details.
Research areas
My main research interest is Constraint Programming (CP). I have been working on the automated constraint modelling tool Conjure and on high-level modelling/reformulation research through Conjure. For more details about Conjure see GitHub: https://github.com/conjure-cp
I am also very interested in applications of CP to specific problems. I have worked on applications in areas including Computer Science (data mining, cloud computing, network science), Mathematics, Economics and Logistics.
I am interested in a variety of other things including programming languages research (especially functional programming), data linkage, algorithm selection & configuration, and the intersection of ML/statistics and CP.
Previous PhD students: Patrick Spracklen, Gökberk Koçak, Xu Zhu
PhD supervision
- Erdem Kus
- Orhan Yazicilar
- Andrew Schwabe
- Orhan Yazicilar
Selected publications
-
Open access
Solvi: a visual constraint modeling tool
Zhu, X., Nacenta, M., Akgun, O. & Zenkovitch, D., Mar 2024, In: Journal of Computer Languages. 78, 12 p., 101242.Research output: Contribution to journal › Article › peer-review
-
Open access
An approach to population linkage using graph databases
Dearle, A., Kirby, G. N. C. & Akgun, O., 5 Jul 2023, p. 291-302. 12 p.Research output: Contribution to conference › Paper › peer-review
-
Open access
Automated streamliner portfolios for constraint satisfaction problems
Spracklen, J. L. P. J., Dang, N., Akgun, O. & Miguel, I. J., 1 Jun 2023, In: Artificial Intelligence. 319, 24 p., 103915.Research output: Contribution to journal › Article › peer-review
-
Open access
CONJURE: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 6833-6838 6 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
Cena, C., Akgün, Ö., Kiziltan, Z., Miguel, I., Nightingale, P. & Ulrich-Oltean, F., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 1902-1910 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Composable constraint models for permutation enumeration
Hoffmann, R., Akgun, O. & Jefferson, C. A., 29 Nov 2023, arXiv, 13 p.Research output: Working paper › Preprint
-
Open access
Learning when to use automatic tabulation in constraint model reformulation
Cena, C., Akgun, O., Kiziltan, Z., Miguel, I. J., Nightingale, P. & Ulrich-Oltean, F., 25 Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023: Macao, SAR. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 1902-1910 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
A framework for generating informative benchmark instances
Dang, N., Akgun, O., Espasa Arxer, J., Miguel, I. J. & Nightingale, P., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic tabulation in constraint models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 26 Feb 2022, (Submitted) 51 p.Research output: Working paper › Preprint
-
Open access
CONJURE: automatic generation of constraint models from problem specifications
Akgun, O., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. J. & Nightingale, P., 1 Sept 2022, In: Artificial Intelligence. 310, 27 p., 103751.Research output: Contribution to journal › Article › peer-review