[grants |
awards |
conferences |
workshops |
graduate schools |
editorial |
external examiner |
misc |
degrees |
work]
Recent Grants
- Continuous Deep Analytics, Swedish Foundation for Strategic Research (SSF), BD15-0006, 2017–2021. Volume: 33000 KSEK, role: co-principal investigator.
- 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
- International Conference on Compiler Construction
- AAAI Conference on Artificial Intelligence
- Practical Aspects of High-Level Parallel Programming
- ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
- International Joint Conference on Artificial Intelligence
- International Conference on Principles and Practice of Constraint Programming
CP 2018 (pc member),
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).
- International Conference on Compilers, Architecture, and Synthesis of Embedded Systems
- International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
- 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
- Nordic Workshop on Multi-Core Computing
- Parallel Methods for Search & Optimization
- Workshop on combining constraint solving with mining and learning
- Swedish Constraint Network Workshop
SweConsNet 2014 (organizer),
SweConsNet 2012 (organizer),
SweConsNet 2006 (organizer).
- International Workshop on Declarative Aspects of Multicore Programming
- Workshop on Parallel Methods for Constraint Solving
- Workshop on Logics for Component Configuration
- Open Source Tools for Constraint Programming and Mathematical
Programming
- Techniques for Implementing Constraint Programming Systems
TRICS 2010 (pc member),
TRICS 2002 (co-organizer),
TRICS 2000 (co-organizer).
- International Days on Constraint Programming Tools
CP-TOOLS 2006 (co-organizer).
- Colloquium on Implementation of Constraint and Logic Programming Systems
- Cooperative Solvers in Constraint Programming
- Component-based Software Development and Implementation Technology for Computational Logic Systems
- Multiparadigm Constraint Programming Languages
- Analysis and Visualization of Constraint Programs and Solvers
- Tools and Environments for (Constraint) Logic Programming
- Concurrent Constraint Programming
Concurrent Constraint Programming 1993 (co-organizer).
Graduate Schools
- Invited lecturer, The Solver Side of Constraint Programming.
ACP Summerschool 2018, Jackson, WY, USA. June 2018
- Co-organizer, ACP Summer School 2011: Hybrid Methods for Constraint Programming, Turunç, Turkey,
June/July 2011.
- Invited lecturer, Constraint Programming Systems.
Third International Summer School on Constraint Programming, Lloret de Mar, Spain, June 2007.
Editorial Work
External Thesis Examiner
- Ghiles Ziat, A Combination of Abstract Interpretation and Constraint Programming, July 2019. Reviewer, doctoral defense, Sorbonne Université, Paris, France.
- Maxim Chabert, Constraint Programming Models for Conceptual Clustering: Application to an ERP Configuration Problem, December 2018. Examiner, doctoral defense, LIRIS, INSA Lyon, France.
- Max Åstrand, Short-term Underground Mine Scheduling, November 2018. Opponent, licentiate defense, Department of Automatic Control, EECS, KTH, Sweden.
- Elias Castegren, Capability-Based Type Systems for Concurrency Control, Februray 2018. Examiner, doctoral defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.
- Charlotte Truchet, Towards a less constrained constraint programming, November 2017. Reviewer, habilitation defense, Département d'Informatique, Université de Nantes, France.
- 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 May 2018, co-director of the
CASTOR Software Research Centre.
- January 2018 - December 2021, member of recruiting committee EECS (School of Electrical Engineering and Computer Science), KTH Royal Institute of Technology.
- Since July 2012,
professor, KTH Royal Institute of Technology, Sweden.
- January 2017 - December 2017, director of studies (doctoral level) for the department Software and Computer Systems.
- April 2015 - December 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.
- 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.
- January 2013 - December 2019, program director of the doctoral program "Information and Communication Technology".
- August 2010 - June 2018, expert researcher at the Swedish Institute of
Computer Science (SICS).
- February 2010 - March 2012, director of undergraduate studies (master/advanced level).
- April 2002 - June 2012,
associate professor, KTH Royal Institute of Technology, Sweden.
- 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.