[grants |
awards |
conferences |
workshops |
graduate schools |
editorial |
external examiner |
misc |
degrees |
work]
Recent Grants
- Grant for being placed part time at LM Ericsson AB, 2015–2016. Volume: 150 KSEK. Part of KLOSS AkUt.
- Constraint-based compiler backend, LM Ericsson AB [conducted at SICS], 2015–2017. Volume: 5760 KSEK, role: principal investigator.
- Conference grant for CP 2013.
Swedish Research Council (VR), 624-2013-6330, 2013. Volume: 60 KSEK, role: grant holder (as program chair of CP 2013).
- Constraint-based compiler backend, LM Ericsson AB [conducted at SICS], 2013–2015. Volume: 5800 KSEK, role: principal investigator.
- Unison: Robust, Scalable, and Open Code Generation by Combinatorial Problem Solving, Swedish Research Council (VR), 621-2011-6229, 2012–2014. Volume: 2400 KSEK, role: principal investigator.
- Constraint-based compilation, LM Ericsson AB [conducted at SICS], 2012–2013. Volume: 4100 KSEK, role: principal investigator.
- Constraint-based compilation, LM Ericsson AB [conducted at SICS], 2010–2012. Volume: 3700 KSEK, role: principal investigator.
- Coordinating Constraint Propagation, Swedish Research Council (VR), 621-2004-4953, 2005–2007. Volume: 1875 KSEK, role: principal investigator.
Awards, Prizes, and Competition Entries
- Gold medal winner MiniZinc Challenge (all categories)
2012,
2011,
2010,
2009,
2008 (using Gecode, with Mikael Lagerkvist,
Guido Tack).
- Teacher of the year 2009, 2003 for the IT program, KTH Royal Institute of Technology, Sweden.
- Winner of the Prolog Programming Contest 2003 (with Vitaly Lagoon, Peter J. Stuckey), 2002 (with Kostis Sagonas, Peter J. Stuckey).
- Best application paper award, ICLP 2003.
Conference Involvement
- Practical Aspects of High-Level Parallel Programming
- International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
- International Conference on Principles and Practice of Constraint Programming
CP 2017 (pc member, application track),
CP 2016 (pc member),
CP 2015 (senior pc member),
CP 2014 (senior pc member),
CP 2013 (program chair),
CP 2012 (pc member),
CP 2011 (workshop/tutorial chair, pc member),
CP 2010 (pc member),
CP 2008 (pc member),
CP 2007 (pc member),
CP 2006 (publicity chair, pc member),
CP 2005 (pc member),
CP 2002 (pc member),
CP 2001 (pc member),
CP 2000 (pc member).
- ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
- International Joint Conference on Artificial Intelligence
- AAAI Conference on Artificial Intelligence
- European Conference on Artificial Intelligence
- Asian Symposium on Programming Languages and Systems
- Australian Joint Conference on Artificial Intelligence
- International Conference on Principles and Practice of Declarative Programming
- International Symposium on Practical Aspects of Declarative Languages
- International Conference on Logic Programming
- International Mozart/Oz Conference
MOZ 2004 (pc member).
- International Conference on Computational Logic
CL 2000 (pc member, constraint stream).
Workshop Involvement
Graduate Schools
Editorial Work
External Thesis Examiner
- Ciaran McCreesh, Solving Hard Subgraph Problems in Parallel, June 2017. Examiner, doctoral defense, School of Computing Science, University of Glasgow, Glasgow, UK.
- Oskar Wigström, Energy efficient multi-robot coordination, November 2016. Examiner, doctoral defense, Chalmers University of Technology, Department of Signals and Systems, Gothenburg, Sweden.
- Mehmet Ali Arslan, Code Generation for Custom Architectures Using Constraint Programming, November 2016. Opponent, doctoral defense, Lund University, Department of Computer Science, Lund, Sweden.
- Uwe Köckemann, Constraint-based Methods for Human-aware Planning, October 2016. Examiner, doctoral defense, Örebro University, School of Science and Technology, Sweden.
- Oliver Schwarz, No Hypervisor Is an Island, October 2016. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Computer Science and Communication, Stockholm, Sweden.
- Fahimeh Jafari, Analysis and Management of Communication in On-Chip Networks, March 2015. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Information and Communication Technology, Stockholm, Sweden.
- Siavash Soleimanifard, Algorithmic Verification of Procedural Programs in the Presence of Code Variability, September 2014. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Computer Science and Communication, Stockholm, Sweden.
- Mikael Millberg, Architectural Techniques for Improving Performance in Networks on Chip, December 2011. Examiner, doctoral defense, KTH Royal Institute of Technology, School of Information and Communication Technology, Department of Electronic Systems, Stockholm, Sweden.
- Carl Christian Rolf, Parallelism in Constraint Programming, October 2011. Opponent, doctoral defense, Lund University, Department of Computer Science, Lund, Sweden.
- Marco Vargas Correia, Modern Techniques for Constraint Solving: The Casper Experience, December 2010. Examiner, doctoral defense, Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Lisbon, Portugal.
- Guido Tack, Constraint Propagation: Models, Techniques, Implementation, January 2009. Examiner, doctoral defense, Saarland University, Faculty of Mathematics and Computer Science, Saarbrücken, Germany.
- Peter Tiedemann, Compiled Data Structures and Global Constraints in Constraint Processing, November 2008. Examiner, doctoral defense, IT University of Copenhagen, Copenhagen, Denmark.
- Irem Aktug, Algorithmic Verification Techniques for Mobile Code, October 2008. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Computer Science and Communication, Stockholm, Sweden.
- Sathiamoorthy Subbarayan, On Exploiting Structures for Constraint Solving, April 2008. Examiner, doctoral defense, IT University of Copenhagen, Copenhagen, Denmark.
- Magnus Ågren, Local Search With Set Variables, January 2008. Examiner, doctoral defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.
- Björn Hägglund, A Framework for Designing Constraint Stores, March 2007. Opponent, licentiate defense, Linköping University, Department of Computer and Information Science, Linköping, Sweden.
- Leif Kornstädt, Design and Implementation of a Programmable Middleware, December 2006. Examiner, doctoral defense, Saarland University, Faculty of Mathematics and Computer Science, Saarbrücken, Germany.
- Grégoire Dooms, The CP(Graph) Computation Domain in Constraint Programming, June 2006. Examiner, doctoral defense, Université Catholique de Louvain, Faculté de Sciences Appliquées, Louvain-la-Neuve, Belgium.
- Vilhelm Dahllöf, Exact Algorithms for Exact Satisfiablity Problems, June 2006. Examiner, doctoral defense, Linköping University, Department of Computer and Information Science, Linköping, Sweden.
- Waldemar Kocjan, Symmetric Cardinality Constraints, December 2005. Opponent, licentiate defense, Mälardalen University, Department of Computer Science and Electronics, Västerås, Sweden.
- Magnus Ågren, High-Level Modelling and Local Search, September 2005. Opponent, licentiate defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.
- Erik Stenman, Efficient Implementation of Concurrent Programming Languages, November 2002. Examiner, doctoral defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.
Miscellaneous
Degrees
- Docent in Computer Systems, School of Information and Communication Technology, KTH Royal Institute of Technology, Sweden, 2009.
- Dr.-Ing., Naturwissenschaftlich-Technische Fakultät I, Saarland University, Germany, 2001.
- Diplom in Informatik (computer science), Institut
für Logik, Komplexität und Deduktionssysteme, Universität
Karlsruhe (TH), Germany, 1992.
Work Experience
- Since January 2017, director of studies (doctoral level) for the department Software and Computer Systems.
- April 2015 - June 2017, deputy head of recruitment committee ICT (School of Information and Communication Technology), KTH Royal Institute of Technology.
- May 2014 - December 2017, deputy head of docent (academic degree roughly equivalent to habilitation) committee ICT (School of Information and Communication Technology), KTH Royal Institute of Technology.
- March 2013 - June 2017. Elected member of strategic council (strategiska rådet), School of Information and Communication Technology, KTH Royal Institute of Technology.
- Since January 2013, program director for the graduate program "Information and Communication Technology".
- Since July 2012,
professor, KTH Royal Institute of Technology, Sweden.
- Since August 2010, expert researcher (part-time) at the Computer Systems Laboratory
of the Swedish Institute of
Computer Science (SICS).
- October 2013 - March 2015, member of appointments committee CSC/ICT (School of Computer Science and Communication and School of Information and Communication Technology), KTH Royal Institute of Technology.
- April 2002 - June 2012,
associate professor, KTH Royal Institute of Technology, Sweden.
- February 2010 - March 2012, director of undergraduate studies (master/advanced level).
- April 1999 - March 2002, researcher, Programming Systems Lab, Saarland University,
Germany.
- October 1992 - March 1999, researcher, German Research Center for
Artificial Intelligence (DFKI). Project leader from June
1995.