Mats Carlsson
Ph.D., Docent, Senior Researcher
I run the Combinatorial Problem Solving and Prolog research area.
I am the principal author of SICStus Prolog.
I am the contact person of the SICS Uppsala branch.
See also my personal home page.
+46 (0)8 633 16 20+46 (0)70 264 7180