SICS Computer Systems Laboratory
Combinatorial Problem Solving
  SICS > CSL > CPS > Mats Carlsson

Mats Carlsson, Ph.D., Docent

Contact Information

Snail mail: SICS Swedish ICT AB, c/o Department of Information Technology, Box 338, SE-751 05 Uppsala, Sweden
SICS AB, Uppsala Science Park, SE-751 83 Uppsala, Sweden
Visit: Lägerhyddsvägen 2, 752 37 Uppsala
Cell: +46 70 264 7180


Born in 1956. Married, with four children. B.Sc. in Computer Science, ~1981, Uppsala University; Ph.D. in Computer Systems, 1990, Royal Institute of Technology, Stockholm; Docent in Computing Science, 2009, Uppsala University. Joined SICS in 1985, where I lead the CPS group. Awarded (with ISL) Chester Carlson's Forskningspris, 1991. My research activities include: I run the Combinatorial Problem Solving and Prolog research area. I am the principal author of SICStus Prolog. I am site contact of the SICS Uppsala branch. My Erdős number is 4 (or less).

My professional training includes Russian. From time to time I perform interpreter or translator functions on a free-lance basis.

Software and Projects

Recent Graduate Students

Recent Talks



Group Members

Current Members

Past Members