Not registered as user yet
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
Personal website: https://www.sics.se/~matsc/
Contributions
2016
Symposium on Practical Aspects of Declarative Languages
POPL 2016-profile
View general profile
View general profile