Mats Carlsson
Mats Carlsson
Researcher, Digital Systems, RISE Research Institutes of Sweden AB
Joined
July 2019
Names
Emails
****@gmail.com (Confirmed)
****@ri.se (Confirmed)
Personal Links
Career & Education History
Researcher
Digital Systems, RISE Research Institutes of Sweden AB (ri.se)
1985 – Present
PhD student
Computer Systems, KTH Royal Institute of Technology (kth.se)
1985 – 1990
Undergrad student
Mathematics, Uppsala University (uu.se)
1974 – 1977
Advisors, Relations & Conflicts
PhD Advisee
Greger Ottosson
1996 – 2000
PhD Advisor
Seif Haridi
1985 – 1990
PhD Advisor
Lars-Erik Thorelli
1985 – 1990
Expertise
Logic Programming
1985 – Present
Constraint Programming
1985 – Present
Compilers
1985 – Present
Publications
Co-Authors
- Abder Aggoun
- Adam Ameur
- Alan Calderwood
- Alban Derrien
- Alexandre Petillon
- Ambuj Varshney
- Andrea Schaerf
- Andreas Schutt
- Andrzej Ciepielewski
- Arnaud Gotlieb
- Arnaud Letort
- Björn Carlson
- Bo Andersson
- Bogumil Hausman
- Carole Mercier
- Catherine Dubois
- Charles Prud'homme
- Charlotta Hedenas
- Charlotte Truchet
- Christian Schulte
- Claude-Guy Quimper
- Dan Sahlin
- Danica Damljanovic
- Daniel Diaz
- Daniel Karlsson