Dr Ozgur Akgun

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 proceedingConference 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 paperPreprint

  • 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 journalArticlepeer-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 journalArticlepeer-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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

 

See more publications