Dr Ozgur Akgun

Director of Impact

Researcher profile

Phone

+44 (0)1334 46 3263

Email

ozgur.akgun@st-andrews.ac.uk

 

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 View

  Research 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

 

See more publications