Mikael Zayenz Lagerkvist
I am a PhD student at KTH/ICT under the supervision of Christian Schulte, studying how constraint propagation can be coordinated.Activities
Current
- Principles and practice of constraint programming 2009, 20-24 September, 2009, Lisbon, Portugal. See paper
Old
- SweConsNet 09 (colocated with SAIS workshop 09), 27-28 May 2009. Linköping. See presentation
- Licentiate seminar 21st of November, 2008. Electrum 3, N2, 13.15. Opponent: Pierre Flener. See thesis
- Fifth International Conference on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimization Problems (CPAIOR08), May 20-23, 2008, Paris, France.
First Workshop on Bin Packing and Placement Constraints (BPPC'08) associated to CPAIOR08, May 22, 2008, Paris, France. See paper - SweConsNet 08, 10 April 2008. Göteborg. See presentation
- Principles and practice of constraint programming 2007, 22-27 September, 2007. Providence, RI, USA. See paper
- SweConsNet 07, 6 February 2007. Uppsala
- Principles and practice of constraint programming 2006, 25-29 September, 2006. Nantes, France. See Gecode/J system demonstration
CP Tools 06 workshop, associated to CP06, 24th September 2006. See presentation. - 6th International 24-hour programming contest, 21-24 April, 2006. Budapest, Hungary.
- SweConsNet 06, 15 March 2006. Kista.
- CP2005. From 30-09-05 to 06-10-05 I attended the 11th international conference on principles and practice of constraint programming in Sitges, Spain.
- NWERC2005. From 11-11-05 to 13-11-05 I will be helping out at the ACM ICPC NWERC 2005 programming contest.
Research interests
- Constraint programming
- Formal methods
- Programming languages
Publications
Papers
-
Propagator Groups,
Mikael Z. Lagerkvist and Christian Schulte.
[pdf,
presentation
]
To appear in: Ian Gent, editor, Fifteenth International Conference on Principles and Practice of Constraint Programming, Lisbon, Portugal, volume 5732 of Lecture Notes in Computer Science. Springer-Verlag, September, 2009.
Copyright Springer-Verlag, LNCS -
Modeling Irregular Shape Placement Problems with Regular Constraints,
Mikael Z. Lagerkvist and Gilles Pesant.
[pdf,
presentation]
First Workshop on Bin Packing and Placement Constraints BPPC'08, associated to CPAIOR08 -
Advisors for Incremental Propagation,
Mikael Z. Lagerkvist and Christian Schulte.
[pdf
presentation
]
In: Christian Bessière, editor, Thirteenth International Conference on Principles and Practice of Constraint Programming, Providence, RI, USA, volume 4741 of Lecture Notes in Computer Science. Springer-Verlag, September, 2007.
Copyright Springer-Verlag, LNCS
Presentations
- Propagating Berge-acyclic propagator graphs, Mikael Z. Lagerkvist (based on joint work with Christian Schulte), Swedish Constraint Network Workshop, 25 May 2009. Linköping. [pdf]
- A Generic Global MDD Constraint, Mikael Z. Lagerkvist (based on joint work with Peter Tiedemann), Swedish Constraint Network Workshop, 10 April 2008. Göteborg. [pdf]
- Gecode, system presentation at CP Tools 06, a one-day workshop associated with CP06. [pdf]
Other
-
Licentiate thesis.
Techniques for Efficient Constraint Propagation. -
Master thesis.
Machine Assisted Reasoning for Multi-Threaded Java Bytecode.
Software
Current
- In my research I use and participate in the development of the Gecode constraint programming library.
Old
- Gecode/J, a Java interface to Gecode. See Teaching CP Systems in Java using Gecode/J and the associated poster from the system demonstration at CP07 for some information.
Teaching
Current
- Teaching assistant in ID2204 Constraint programming.
- Teaching assistant in ID1218 Applied programming.
Old
- Teaching assistant in 2G1519 DatalogiII++.
- Teaching assistant in 2G1515 Constraint programming.
- Teaching assistant in 2G1508 Compilers and Virtual Machines.
Contact
|
Work adress (mail) Mikael Lagerkvist KTH/ICT/ECS Isafjordsgatan 39, Electrum 229 164 40 Kista, Sweden |
Phone (work): 08-790 41 26 Phone (cell): 070-477 48 87 E-mail: zayenz at kth dot se |
|
Work adress (visiting) KTH Forum building Isafjordsgatan 39 Elevator C, 8th floor Room 8514 |
|
|
Home: Rissnavägen 35 163 42 Spånga Sweden |
If you have Spotify and would like me to listen to something, add it to this playlist. |
The KTH disclaimer.