Skip to main content
Department of Information Technology

Organisation

Members

Sponsors

The group is (or was) sponsored by:

  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2022-04123, from 1-1-2023 to 31-12-2026, for project Operations Research in a Millisecond: Real-Time Resource Optimization for Mobile Networks.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2018-05247, from 1-1-2019 to 31-12-2022, for project 5G Network Performance: A Mathematical Optimization Perspective.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2018-04813, from 1-1-2019 to 31-12-2022, for project Instance-Independent Analysis of Models in Combinatorial Optimisation.
  • UUlogo.gif UU Innovation, under VFS grant 715801000, from 7-1-2019 to 7-10-2019, with B&M System AB, on vehicle routing for winter road maintenance.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2015-04910, from 1-1-2016 to 31-12-2019, for project String Constraint Solving.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2013-5649, from 1-1-2014 to 31-12-2018, for project How to Empty the Queues Fast?.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2012-4908, from 1-1-2013 to 31-12-2015, for project Analysis of Filtering Algorithms.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2011-6133, from 1-1-2012 to 31-12-2015, for project Synthesis of Global Constraints.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2009-4384, from 1-1-2010 to 31-12-2013, for project Software Verification (led by Parosh Abdulla).
  • EUROCONTROLlogo.gif EuroControl Experimental Centre of the European Organisation for the Safety of Air Navigation, in Brétigny, France, under grant 08-121447-C, from 1-8-2008 to 31-12-2013, for project 4D Cells and Contingency Planning using Constraint Programming.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 2007-6445, from 1-1-2008 to 31-12-2010, for project Constraint-Based Local Search.
  • EUROCONTROLlogo.gif EuroControl, the European Organisation for the Safety of Air Navigation, in Brussels, Belgium, under amendment 2/05 of grant C/1.246/HQ/JC/04, from 1-1-2005 to 31-12-2005, for project Air Traffic Complexity Reduction in Multi-Sector Planning using Constraint Programming.
  • EUROCONTROLlogo.gif EuroControl, the European Organisation for the Safety of Air Navigation, in Brussels, Belgium, under grant C/1.246/HQ/JC/04 and its amendment 1/04, from 1-1-2004 to 31-12-2004, for project Air Traffic Complexity Reduction using Constraint Programming and Local Search.
  • STINTlogo.gif STINT, the Swedish Foundation for International Cooperation in Research and Higher Education, under Institutional Grant number IG2001-67, from 1-9-2001 to 31-12-2007, for project CORSA - Constraint mOdelling, Reformulation, Solving, and Analysis, in cooperation with Pascal Van Hentenryck and Meinolf Sellmann at Brown University, Providence, Rhode Island, USA.
  • VRlogo.gif VR, the Swedish Research Council, under Research Grant number 221-99-369, from 1-1-2000 to 31-12-2003, for project ASTRA - Algorithm Synthesis and TRAnsformation.
  • EPSRClogo.jpg EPSRC, the UK Engineering and Physical Sciences Research Council, under Visiting Fellowship number GR/M/32443, from 1-1-1999 to 30-6-2000, for project A Unified View of Program Schemas and Proof Plans, in cooperation with the Universities of Edinburgh and Manchester, UK.

Associates

We are / were involved in (possibly sponsored) research with the following partners:

  • Professor Arie Koster and his team at RWTH Aachen University, Germany

Affiliations

  • ACPlogo.png Some of us are members of ACP, the international Association for Constraint Programming. Pierre Flener was elected to serve from 2013 to 2016 on its Executive Committee, and was its Conference Coordinator from October 2013 to December 2016.
  • AFPClogo.jpg Some of us are members of AFPC, the Association Française pour la Programmation par Contraintes.
  • SOAFlogo.png Our group is part of a node of SOAF, the Swedish Operations Research Association. Justin Pearson was elected in March 2019 to its board and serves as its IFORS/EURO representative.
  • SAISlogo.png Some of us are members of SAIS, the Swedish Artificial Intelligence Society.
  • Our group is the founding node of NordConsNet, the Nordic Network for researchers and practitioners of Constraint programming (formerly SweConsNet), a Special Interest Group of SAIS, the Swedish Artificial Intelligence Society.

Former Members

  • Dr Ghafour Ahani, graduated PhD student
  • Dr Pawel Wiatr, ex-postdoc
  • Dr Jean-Noël Monette, ex-postdoc, at Tacton
  • Dr Toni Mancini, guest, of Sapienza Università di Roma, Italy
  • Dr Marco Kuhlmann (research associate until 2013 at the Department of Linguistics and Philology, now at Linköping University, Sweden)
  • Dr Lei You, graduated PhD student
  • Dr Jun He, graduated PhD student, now at National University of Defense Technology, Wuhan, China (PhD thesis)
  • Dr Zeynep Kiziltan (PhD and MSc student 1998-2004, now at Universita di Bologna, Italy)
  • Dr Brahim Hnich (PhD student 1999-2003)
  • Mika Skjelnes (MSc student 2022, recording and minimising for restarts)
  • Maarten Lucas Flippo (MSc student 2021, a new CBLS Backend for MiniZinc)
  • Samuel Bodin (MSc student 2022, CBLS invariant propagation, MSc thesis)
  • Petr Binko (MSc student 2021, road de-icing under a rolling horizon, MSc thesis)
  • Max Perea Düring (MSc student 2021, generating a CBLS invariant structure from a FlatZinc model, MSc thesis)
  • Erik Rimskog (MSc student 2021, a linter for MiniZinc, MSc thesis)
  • David Escher (MSc student 2018, pre-runtime scheduling of an avionics system, MSc thesis)
  • Alexander Ek (MSc student 2018, model analysis tool for MiniZinc, MSc thesis)
  • Mikael Östlund (MSc student 2017, sweep-based propagator for n-dimensional no-overlap constraint for Gecode, MSc thesis)
  • Yong Huang (MSc student 2015, course recommender system, MSc thesis)
  • Jip Dekker (MSc student 2016, subproblem auto-tabling, MSc thesis)
  • Max Block (MSc student 2016, pre-runtime scheduling of an avionics system, MSc thesis)
  • Hans Koberg (BSc student 2016, tree width and tractability, BSc thesis)
  • Patrik Broman (BSc student 2016, tuple decision variables, BSc thesis)
  • Emil Kajgård (MSc student 2015, vehicle routing, MSc thesis)
  • Thiago Costa Porto (MSc student 2015, string decision variables using MDDs)
  • Kellen Dye (MSc student 2014, constraints over bit vectors, MSc thesis)
  • Patrik Ehrencrona Kjellin (BSc student 2014, airspace sectorisation using CBLS, BSc thesis)
  • Noric Couderc (MSc student 2014, constraint-based testing in a telecom application, MSc thesis)
  • Joakim Ejenstam (MSc student 2014, at ABB Research Centre in Västerås, robot sequencing, MSc thesis)
  • Valentina Chapovalova (BSc student 2014, reification of global constraints, BSc thesis)
  • Peter Jägare (researcher 2012-2013, MSc student 2011, airspace sectorisation, MSc thesis)
  • Peter Backeman (MSc student 2013, nVector constraint, MSc thesis)
  • Joakim Lindqvist (MSc student 2013, physician rostering, MSc thesis)
  • Johan Öfverstedt (BSc student 2012, puzzle solving, BSc thesis)
  • Henning Hellkvist (MSc student 2011, university timetabling, MSc thesis)
  • William Sjöstedt (MSc student 2011, university timetabling, MSc thesis)
  • Josef Kvist (MSc student 2011, high-school timetabling, confidential MSc thesis)
  • Nicholas Baltzer (BSc student 2011, puzzle solving, BSc thesis)
  • Carlos Eduardo Alvarez Divo (MSc student 2011, reasoning on feature models, MSc thesis)
  • Karl Sundequist (MSc student 2010, contingency planning in air traffic management, MSc Thesis)
  • Amir Hossein Monshi (researcher 2009-2010, constraint-based local search over databases)
  • Pan Xiaoyue (MSc student 2009, bioinformatics, MSc thesis)
  • Samuel Edqvist (MSc student 2007-2008, physician rostering, MSc thesis)
  • Olof Sivertsson (MSc student 2004-2005, financial portfolio optimisation, MSc thesis)
  • Maria Eriksson (MSc student 2004-2005, symmetry detection, MSc thesis)
  • Mats Norberg (MSc student 2004-2006, code generation, MSc thesis)
  • Henrik Öhrman (MSc student 2004-2005, symmetry breaking, MSc thesis)
  • Simon Wrang (MSc student 2001-2002, code generation, MSc thesis)

Guest Members

  • Loïc Blet, PhD student at INSA Lyon, France (spring 2013)
  • Ass't Prof. Toni Mancini of Sapienza Università di Roma, Italy (May to August 2011; mid March 2010 to early July 2010 and mid July 2009 to late October 2009, sponsored by the Foundation Blanceflor Boncompagni-Ludovisi; mid November 2008 to mid February 2009, sponsored by a STINT Short-Term Stipend)
  • Loïc Blet (summer 2010; an MSc student at École Normale Supérieure Lyon, France; set constraints for local search, summer internship Report)
  • Deniz Yörükoglu (summer 2008; an undergraduate student at Sabanci University, Istanbul, Turkey; doctor rostering, summer internship)
  • Tansel Uras (summer 2008; an undergraduate student at Sabanci University, Istanbul, Turkey; air traffic control, summer internship)
  • Yigit Can Arin (summer 2008; an undergraduate student at Sabanci University, Istanbul, Turkey; constraint programming, summer internship)
  • The Hien Tu (winter 2007/08; an undergraduate student at National University of Singapore; constraint programming, winter internship)
  • Mert Saglam (summer 2007; an undergraduate student at Sabanci University, Istanbul, Turkey; bioinformatics, summer internship)
  • Serdar Kadioglu (summer 2006; then an undergraduate student at Sabanci University, Istanbul, Turkey; bioinformatics, summer internship)
  • Can Yilmaz Çeçen (summer 2006; then an undergraduate student at Sabanci University, Istanbul, Turkey; bioinformatics, summer internship)
  • Alkim Özaygen (February to April 2005; then an MSc student at Çankaya University, Ankara, Turkey; bioinformatics, MSc thesis)
  • Altuna Akalin (summer 2004; then an undergraduate student at Sabanci University, Istanbul, Turkey; bioinformatics, graduation project)
Updated  2023-12-21 11:00:45 by Pierre Flener.