Mats Carlsson är docent i datavetenskap. Under sitt yrkesliv har han arbetat med två teman: implementation av programspråk samt optimering. Mats är upphovsmannen till programmeringsmiljön SICStus Prolog (https://sicstus.sics.se). Inom optimering har Mats arbetat såväl med de underliggande algoritmerna som med tillämpningar som industriell schemaläggning, sportschemaläggning, konfigurering, DNA-sekvensering och frekvensplanering. I projektet UNISON användes optimeringsmetoder för att förbättra kompilatorers kodgenerering. Mats har haft ett flertal anslag från VR och VINNOVA och har arbetat i ett antal EU-projekt.
Mats Erdős-tal är 4 och hans publiceringslista finns här: http://scholar.google.se/citations?user=Zt6cdRsAAAAJ
Fråga mig om
Publikationer
Fråga mig om
Publikationer
- Exact and metaheuristic methods for a real-world examination timetabling problem
- A constraint programming model for the scheduling and workspace layout design o…
- RobTest : A CP Approach to Generate Maximal Test Trajectories for Industrial Ro…
- Scheduling of Dual-Arm Multi-Tool Assembly Robots and Workspace Layout Optimiza…
- Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimiza…
- Time-aware test execution scheduling for cyber-physical systems
- Combinatorial register allocation and instruction scheduling