Write a Blog >>
Mats Carlsson

Not registered as user

Name:Mats Carlsson
Bio:

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:

  • engineering of sequential and OR-parallel Prolog systems, including SICStus Prolog
  • engineering of finite domain constraint solvers
  • engineering of algorithms for global constraints
  • applications of constraint programming

I am site contact of the SICS Uppsala Office (see photo in upper left corner of the background). My professional training includes Russian. From time to time I perform interpreter or translator functions on a free-lance basis.

Affiliation:SICS

Contributions

2016

Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2016-profile
View general profile