Mikael Zayenz Lagerkvist profile picture I am a PhD student at the unit Software and Computer Systems, School of Information and Communication Technology, KTH - Royal Institute of Technology in Stockholm, Sweden under the supervision of Christian Schulte. My research is in the area of constraint programming, focusing on techniques for implementing efficient constraint propagation.

In November of 2008 I defended my licentiate thesis titled "Techniques for Efficient Constraint Propagation", earning the degree of Licentiate of Engineering.

In my reasearch I participate in the development of the Gecode constraint programming system.