Dr Ozgur Akgun
Director of Impact
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
- CS4303 - Video Games
- CS5001 - Object-Oriented Modelling, Design and Programming
I am also preparing a Discrete Optimisation module for our upcoming Digital MSc program.
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
PhD supervision
- Xu Zhu
- Andrew Schwabe
- Erdem Kus
Selected publications
-
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., Sep 2022, In: Artificial Intelligence. 310, 27 p., 103751.Research output: Contribution to journal › Article › peer-review
-
Open access
Enumeration of set-theoretic solutions to the Yang-Baxter equation
Akgün, Ö., Mereb, M. & Vendramin, L., 14 Jan 2022, In: Mathematics of Computation. Early ViewResearch output: Contribution to journal › Article › peer-review
-
Open access
Understanding how people approach constraint modelling and solving
Hoffmann, R., Zhu, X., Akgun, O. & Nacenta, M., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solnon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Finding subgraphs with side constraints
Akgün, Ö., Enright, J., Jefferson, C., McCreesh, C., Prosser, P. & Zschaler, S., 5 Jul 2021, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Proceedings. Stuckey, P. J. (ed.). Cham: Springer, p. 348-364 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12735 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Towards reformulating Essence specifications for robustness
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I., Nightingale, P. & Salamon, A. Z., 25 Oct 2021, ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation (ModRef). 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Discriminating instance generation from abstract specifications: a case study with CP and MIP
Akgün, Ö., Dang, N., Miguel, I., Salamon, A. Z., Spracklen, P. & Stone, C., 2020, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings. Hebrard, E. & Musliu, N. (eds.). Cham: Springer, p. 41-51 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12296 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Effective encodings of constraint programming models to SMT
Davidson, E., Akgun, O., Espasa Arxer, J. & Nightingale, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Simonis, H. (ed.). Springer, p. 143-159 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 12333 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Efficient incremental modelling and solving
Koçak, G., Akgün, Ö., Dang, N. & Miguel, I., 7 Sep 2020, ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation. 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution