[content | navigation | footer]

Education

Christian Schulte

information

• main
• contact
• papers
• software
• education
• presentations
• short bio

[courses | doctoral students | master students | bachelor students]

Courses

• Compilers and Execution Environments (ID2202, ID1215, 2G1533), KTH Royal Institute of Technology.
  2016/2017, period 2, course responsible, examiner [evaluation]
  2015/2016, period 2, course responsible, examiner [evaluation]
• The Art of Doctoral Research (Ethics Module) (IL3606), KTH Royal Institute of Technology.
  2016/2017, period 2, lecturing
• Constraint Programming (ID2204, 2G1515), KTH Royal Institute of Technology.
  2016/2017, period 4, course responsible, examiner
  2015/2016, period 4, course responsible, examiner [evaluation]

more courses »

Doctoral Students

• Diarmuid Corcoran, KTH Royal Institute of Technology, Sweden.
• Gabriel Hjort Blindell, KTH Royal Institute of Technology, Sweden.
• Roberto Castañeda Lozano, KTH Royal Institute of Technology, Sweden.
  Integrated Register Allocation and Instruction Scheduling with Constraint Programming. Licentiate degree, 2014.
• Vasiliki Kalavri, KTH Royal Institute of Technology, Sweden. Assistant supervisor.
  Performance Optimization Techniques and Tools for Data-Intensive Computation Platforms. Licentiate degree, 2014.
• George Ungureanu, KTH Royal Institute of Technology, Sweden. Assistant supervisor.
• Saranya Natarajan, KTH Royal Institute of Technology, Sweden. Assistant supervisor.
• Kathrin Rosvall, KTH Royal Institute of Technology, Sweden. Assistant supervisor.
• Katharina Rasch, KTH Royal Institute of Technology, Sweden.
  Smart assistants for smart homes. Doctoral degree, 2013. Co-supervisor.
• Baki Cakici, KTH Royal Institute of Technology, Sweden.
  Disease surveillance systems. Licentiate degree, 2011. Assistant supervisor.
• Guido Tack, Programming Systems Lab, Saarland University, Germany.
  Constraint Propagation: Models, Techniques, Implementation. Doctoral degree, 2009. Guido's dissertation has won the Doctoral Research Award 2010 of the Association of Constraint Programming. Co-supervisor.
• Mikael Lagerkvist, KTH Royal Institute of Technology, Sweden.
  Techniques for Efficient Constraint Propagation. Licentiate degree, 2008.
• René Krenz-Bååth, KTH Royal Institute of Technology, Sweden.
  Dominator-based Algorithms in Logic Synthesis and Verification. Doctoral degree, 2008. Co-supervisor.
• Dragan Havelka, KTH Royal Institute of Technology, Sweden.
  Thread-based Mobility for a Distributed Dataflow Language. Licentiate degree, 2005. Co-supervisor.
• Frej Drejhammar, KTH Royal Institute of Technology, Sweden.
  Flow Java: Declarative Concurrency for Java. Licentiate degree, 2005. Co-supervisor.

Master Students

• Martin Persson, Evaluating Unison's Speedup Estimation.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2017:75, 2017.
• Marion Bellefin, Optimisation of linear algebra software implementation on a DSP architecture.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2017:6, 2017.
• Johan Gasslander, Bluetooth Low Energy in the Contiki OS.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2017:4, 2017.
• Ioana Teodora Anitoaei, Enhancing Parking Behaviour Detection.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2016:104, 2016.
• Nikolaos Ektoras Anestos, Cloud Service Orchestration Using Constraint Programming.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2016:106, 2016.
• Zhengyang Zhao, Assembly Sequencing using Constraint Programming.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:201, 2015.
• Mattias Jansson, Instant Toolsmith: Assembler.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:78, 2015.
• Kilian Höflinger, Design of an Automatic Specification-based Test-framework for On-board Software of Satellites.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:77, 2015.
• Bevin Hansson, Random Code Generation for Testing in Compilers.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:76, 2015.
• Anton From, Parallel Portfolio Search for Gecode.
  KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:75, 2015.

more students »

Bachelor Students

• Andreas Lindmark, A Gecode Propagator for the Contextfree Grammar Constraint.
  Uppsala University, Sweden, Bachelor thesis, 2016.
• Dusan Viktor Hrstic, Improving the performance of GPU-accelerated spatial joins.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2017:74, 2017.
• Oscar Bjuhr, Klas Segeljakt, Reducing software complexity by hidden structure analysis.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2016:98, 2016.
• Vidak Mijailovic, A Graph-Based Approach to Procedural Terrain.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2015:72, 2015.
• Jonas Masko, Automatic sampling of a MIDI-controlled grand piano.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2015:71, 2015.
• Haimen Aldabbagh, Provinsgenerering med post-process.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX 2014:105, 2014.
• Daniel Carlsson, Daniel Snellman, T2DW på mobila enheter.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX 2014:104, 2014.
• Johan Gasslander, A Front-end to LBTest.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX 2014:103, 2014.
• Patrik Eklöf, Implementing confidence-based work stealing search in Gecode.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2014:39, 2014.
• Nina Knutas, Joakim Palmkvist, A Distributed information system for gaming events.
  KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2013:190, 2013.

more students »