Department of Information Technology

ASTRA Organisation

Members

  • Professor Pierre Flener, Department of IT, group leader and founder
  • Docent Justin Pearson, senior lecturer at the Department of IT, deputy leader
  • Dr Jean-Noël Monette, ex-postdoc, researcher at Tacton, Sweden
  • Frej Knutar, graduated MSc student: robotic assembly (MSc thesis)
  • Max Block, graduated MSc student: pre-runtime scheduling of an avionics system (MSc thesis)
  • Jip Dekker, graduated MSc student: subproblem pre-solving (MSc thesis)
  • Alexander Ek, MSc student: model analysis tool, for MiniZinc
  • Mikael Östlund, MSc student: sweep-based propagator for n-dimensional no-overlap constraint, for Gecode
  • Andreas Lindmark, BSc student: propagator for membership in a context-free language, for Gecode
  • Petter Friberg, BSc student: REGULAR constraint for constraint-based local search, for OscaR.cbls
  • Linnea Ingmar, BSc student: CompactTable propagator, for Gecode

Sponsors

The ASTRA group is (or was) sponsored by:

  • 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 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 Pascal Van Hentenryck, now at University of Michigan, USA (CORSA project)
  • Dr Meinolf Sellmann, now at at IBM Research, NJ, USA (CORSA project)
  • Assistant Professor Hamza Zidoum at Sultan Qaboos University, Muscat, Oman
  • EuroControl, the European Organisation for the Safety of Air Navigation: Experimental Centre in Brétigny, France, and Headquarters in Brussels, Belgium
  • Associate Professor Ugur Sezerman, then at SabancI University, Istanbul, Turkey

Affiliations

  • ACPlogo.png We are all 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.
  • SAISlogo.png We are all 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 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 Frank D. Valencia (postdoc 2004, now a CNRS associate research scientist at the École Polytechnique de Paris, France)
  • Farshid Hassani Bijarbooneh, ex PhD student, postdoc at Hong Kong University of Science and Technology (PhD thesis, MSc thesis)
  • Jun He, ex PhD student, Academy of National Defense Information, Wuhan, China (PhD thesis)
  • Zeynep Kiziltan (PhD and MSc student 1998-2004, now at Universita di Bologna, Italy)
  • Brahim Hnich (PhD student 1999-2003)
  • Hans Koberg (BSc student 2016, tree width and tractability, BSc thesis)
  • Patrik Broman (BSc student 2016, tuple decision variables, BSc thesis)
  • Yong Huang (MSc student 2015, course recommender system, MSc thesis forthcoming)
  • 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  2017-02-02 09:56:47 by Pierre Flener.