Carlsson, Mats

Mats Carlsson is a senior researcher at the Swedish Institute of Computer Science, and is the main author of SICStus Prolog. The development grew as a by-product out of his Ph.D. thesis from the Royal Institute of Technology, Stockholm, 1990 named "Design and Implementation of an OR-Parallel Prolog Engine." Carlsson has wide experience from applications of logic and constraint programming, and is the author of numerous research papers.