-
Notifications
You must be signed in to change notification settings - Fork 0
/
education-full.html
223 lines (190 loc) · 30.8 KB
/
education-full.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<meta http-equiv="content-type" content="text/html"; charset="utf-8" />
<meta name="author" content="Christian Schulte" />
<link rel="stylesheet" type="text/css"
href="https://chschulte.github.io/style.css" title="1024px" media="screen,projection" />
<title>Christian Schulte: Education</title>
</head>
<body>
<div id="wrap">
<div id="header">
<p id="toplinks">[<a href="#content">content</a> |
<a href="#sidebar">navigation</a> | <a href="#footer">footer</a>]
</p>
<h1>Education</h1>
<p id="slogan">Christian Schulte</p>
</div>
<div id="sidebar"><h2>information</h2><ul><li><a href="https://chschulte.github.io/index.html">main</a></li><li><a href="https://chschulte.github.io/contact.html">contact</a></li><li><a href="https://chschulte.github.io/papers.html">papers</a></li><li><a href="https://chschulte.github.io/software.html">software</a></li><li><a class="gray" href="https://chschulte.github.io/education.html">education</a></li><li><a href="https://chschulte.github.io/presentations.html">presentations</a></li><li><a href="https://chschulte.github.io/bio.html">short bio</a></li></ul></div>
<div id="content">
<p class="navig">
[<a href="#courses">courses</a> |
<a href="#postdoc">post-docs</a> |
<a href="#current">current doctoral students</a> |
<a href="#past">past doctoral students</a> |
<a href="#master">master students</a> |
<a href="#bachelor">bachelor students</a>]
</p>
<h2 id="courses">Courses</h2>
<ul>
<li><a href="http://www.ict.kth.se/courses/ID2202/">Compilers and Execution Environments (ID2202, ID1215, 2G1533)</a>, KTH Royal Institute of Technology.<br /><strong>2018</strong>/2019, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2018-2.pdf">evaluation</a>]<br /><strong>2017</strong>/2018, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2017-2.pdf">evaluation</a>]<br /><strong>2016</strong>/2017, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2016-2.pdf">evaluation</a>]<br /><strong>2015</strong>/2016, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2015-2.pdf">evaluation</a>]<br /><strong>2014</strong>/2015, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2014-2.pdf">evaluation</a>]<br /><strong>2013</strong>/2014, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2013-2.pdf">evaluation</a>]<br /><strong>2012</strong>/2013, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2012-2.pdf">evaluation</a>]<br /><strong>2011</strong>/2012, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2011-2.pdf">evaluation</a>]<br /><strong>2010</strong>/2011, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2010-2.pdf">evaluation</a>]<br /><strong>2009</strong>/2010, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2009-2.pdf">evaluation</a>]<br /><strong>2008</strong>/2009, period 2, course responsible, examiner [<a href="teaching/evaluation/ID2202-2008-2.pdf">evaluation</a>]<br /><strong>2007</strong>/2008, period 2, course responsible, examiner [<a href="teaching/evaluation/ID1215-2007-2.pdf">evaluation</a>]<br /><strong>2006</strong>/2007, period 2, course responsible, examiner [<a href="teaching/evaluation/2G1533-2006-2.pdf">evaluation</a>]</li><li><a href="http://www.ict.kth.se/courses/IL3606/">The Art of Doctoral Research (Ethics Module) (IL3606)</a>, KTH Royal Institute of Technology.<br /><strong>2016</strong>/2017, period 2, lecturing</li><li><a href="http://www.ict.kth.se/courses/ID1218/">Applied Programming (ID1218)</a>, KTH Royal Institute of Technology.<br /><strong>2009</strong>/2010, period 2, course responsible, examiner [<a href="teaching/evaluation/ID1218-2009-2.pdf">evaluation</a>]<br /><strong>2008</strong>/2009, period 2, course responsible, examiner [<a href="teaching/evaluation/ID1218-2008-2.pdf">evaluation</a>]<br /><strong>2007</strong>/2008, period 2, course responsible, examiner [<a href="teaching/evaluation/ID1218-2007-2.pdf">evaluation</a>]</li><li><a href="http://www.ict.kth.se/courses/ID2204/">Constraint Programming (ID2204, 2G1515)</a>, KTH Royal Institute of Technology.<br />2018/<strong>2019</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2018-4.pdf">evaluation</a>]<br />2017/<strong>2018</strong>, period 4, course responsible, examiner<br />2016/<strong>2017</strong>, period 4, course responsible, examiner<br />2015/<strong>2016</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2015-4.pdf">evaluation</a>]<br />2014/<strong>2015</strong>, period 4, course responsible, examiner<br />2013/<strong>2014</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2013-4.pdf">evaluation</a>]<br />2012/<strong>2013</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2012-4.pdf">evaluation</a>]<br />2011/<strong>2012</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2011-4.pdf">evaluation</a>]<br />2010/<strong>2011</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2010-4.pdf">evaluation</a>]<br />2009/<strong>2010</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2009-4.pdf">evaluation</a>]<br />2008/<strong>2009</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2008-4.pdf">evaluation</a>]<br />2007/<strong>2008</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/ID2204-2007-4.pdf">evaluation</a>]<br />2006/<strong>2007</strong>, period 4, course responsible, examiner [<a href="teaching/evaluation/2G1515-2006-4.pdf">evaluation</a>]<br />2005/<strong>2006</strong>, period 3, course responsible, examiner [<a href="teaching/evaluation/2G1515-2005-3.pdf">evaluation</a>]<br /><strong>2004</strong>/2005, period 2, course responsible, examiner [<a href="teaching/evaluation/2G1515-2004-2.pdf">evaluation</a>]<br />2003/<strong>2004</strong>, period 3, course responsible, examiner [<a href="teaching/evaluation/2G1515-2003-3.pdf">evaluation</a>]</li><li><a href="http://www.ict.kth.se/courses/2G1508/">Compilers and Virtual Machines (2G1508)</a>, KTH Royal Institute of Technology.<br /><strong>2005</strong>/2006, period 2, course responsible, examiner [<a href="teaching/evaluation/2G1508-2005-2.pdf">evaluation</a>]<br />2004/<strong>2005</strong>, period 3, course responsible, examiner [<a href="teaching/evaluation/2G1508-2004-3.pdf">evaluation</a>]</li><li><a href="http://www.ict.kth.se/courses/2G1509/">Distributed Systems (2G1509)</a>, KTH Royal Institute of Technology.<br /><strong>2005</strong>/2006, period 1, course responsible, examiner [<a href="teaching/evaluation/2G1509-2005-1.pdf">evaluation</a>]<br /><strong>2004</strong>/2005, period 1, lecturing</li><li><a href="http://www.ict.kth.se/courses/2G1512/">Datalogi II (2G1512)</a>, KTH Royal Institute of Technology.<br /><strong>2003</strong>/2004, periods 1-2, course responsible, examiner [<a href="teaching/evaluation/2G1512-2003-1.pdf">evaluation</a>]<br /><strong>2002</strong>/2003, periods 1-2, course responsible, examiner [<a href="teaching/evaluation/2G1512-2002-1.pdf">evaluation</a>]</li><li><a href="http://www.ict.kth.se/courses/2G1519/">Datalogi II (Computer Science II) (2G1519)</a>, KTH Royal Institute of Technology.<br /><strong>2006</strong>/<strong>2007</strong> periods 1-3, course responsible, examiner [<a href="teaching/evaluation/2G1519-2006-1.pdf">evaluation</a>]<br /><strong>2005</strong>/<strong>2006</strong> periods 1-3, responsible for C++ module<br /><strong>2004</strong>/<strong>2005</strong> periods 1-3, responsible for C++ module</li><li><a href="http://www.ict.kth.se/courses/2G1532/">C++ Module for Datalogi II (2G1532)</a>, KTH Royal Institute of Technology.<br />2005/<strong>2006</strong>, period 3, course responsible, examiner<br />2004/<strong>2005</strong>, period 3, course responsible, examiner [<a href="teaching/evaluation/2G1532-2004-3.pdf">evaluation</a>]</li><li><a href="http://www.isk.kth.se/kursinfo/6b3022/">IT Project (6B3022)</a>, KTH Royal Institute of Technology.<br />2004/<strong>2005</strong>, periods 3-4, technical mentor<br />2003/<strong>2004</strong>, periods 3-4, technical mentor</li></ul>
<ul>
<li><a href="http://www.ps.uni-sb.de/courses/gc-ws01/"
>Seminar Garbage Collection</a>,
Saarland University, WS 2001/02.</li>
<li><a href="http://www.ps.uni-sb.de/courses/lsv-ss01/"
>Logik, Semantik und Verifikation</a>,
Saarland University, SS 2001.</li>
<li><a href="http://www.ps.uni-sb.de/courses/lsv-ss00/"
>Logik, Semantik und Verifikation</a>,
Saarland University, SS 2000.</li>
<li><a href="http://www.ps.uni-sb.de/courses/typen-ws99/"
>Seminar Typsysteme</a>,
Saarland University, WS 1999/2000.</li>
<li><a href="http://www.ps.uni-sb.de/courses/java-ws97.html"
>Java-Seminar</a>,
Saarland University, WS 1997/1998.</li>
<li><a href="http://www.ps.uni-sb.de/courses/info-i.html"
>Informatik I (Computer Science I)</a>,
Saarland University, WS 1995/1996.</li>
<li><a href="http://www.ps.uni-sb.de/courses/lp-course93.html"
>Logische Programmierung (Logic Programming)</a>,
Saarland University, SS 1993.</li>
</ul>
<h2 id="postdoc">Post-doctoral Researchers</h2>
<ul>
<li>Konstantinos Koukos, KTH Royal Institute of Technology, Sweden, 2016-2017.</li>
</ul>
<h2 id="current">Current Doctoral Students</h2>
<ul>
<li><a href="https://www.kth.se/profile/diarmuid/">Diarmuid Corcoran</a>,
KTH Royal Institute of Technology, Sweden.
</li>
<li><a href="https://www.kth.se/profile/klasseg/">Klas Segeljakt</a>,
KTH Royal Institute of Technology, Sweden.
</li>
<li><a href="https://www.kth.se/profile/tsoupidi">Rodothea (Romy) Myrsini Tsoupidi</a>,
KTH Royal Institute of Technology, Sweden.
</li>
<li><a href="https://www.kth.se/profile/jlwessen/">Johan (Ludde) Wessén</a>,
KTH Royal Institute of Technology, Sweden.
</li>
<li><a href="https://www.kth.se/profile/sarhal">Sara Frimodig</a>,
KTH Royal Institute of Technology, Sweden. Co-supervisor.
</li>
<li><a href="https://www.sics.se/people/akhila-rao">Akhila Rao</a>,
KTH Royal Institute of Technology, Sweden. Assistant supervisor.
</li>
<li><a href="https://www.kth.se/profile/dlunde">Daniel Lundén</a>,
KTH Royal Institute of Technology, Sweden. Assistant supervisor.
</li>
<li><a href="http://people.kth.se/~ugeorge/">George Ungureanu</a>,
KTH Royal Institute of Technology, Sweden. Assistant supervisor.
</li>
<li><a href="https://www.kth.se/profile/saranyan/">Saranya Natarajan</a>,
KTH Royal Institute of Technology, Sweden. Assistant supervisor.
</li>
<li><a href="https://www.kth.se/profile/dannmann/">Kathrin Rosvall</a>,
KTH Royal Institute of Technology, Sweden. Assistant supervisor.
</li>
</ul>
<h2 id="past">Past Doctoral Students</h2>
<ul>
<li><a href="https://www.linkedin.com/in/robcasloz/">Roberto Castañeda Lozano</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-232192">Constraint-Based Register Allocation and Instruction Scheduling</a>. Roberto's dissertation has been awarded a Honorable Mention for the
<a href="https://www.a4cp.org/awards/doctoral-research-award">Doctoral Research Award</a> 2019 of the Association of Constraint
Programming. Doctoral degree, 2018.
</div>
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154599">Integrated Register Allocation and Instruction Scheduling with Constraint Programming</a>. Licentiate degree, 2014.
</div>
</li>
<li><a href="https://www.linkedin.com/in/gabriel-hjort-blindell-37407459/">Gabriel Hjort Blindell</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223599">Universal Instruction Selection</a>. Doctoral degree, 2018.
</div>
</li>
<li><a href="http://people.inf.ethz.ch/kalavriv/">Vasiliki Kalavri</a>,
KTH Royal Institute of Technology, Sweden. Assistant supervisor.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192471">Performance Optimization Techniques and Tools for Distributed Graph Processing</a>. Doctoral degree, 2016. Winner of the <a href="https://www.kth.se/en/ict/nyheter/nyheter/doctor-vasiliki-kalavri-wins-prestigious-award-1.765657">IBM Innovation Award 2017</a>.
</div>
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-145329">Performance Optimization Techniques and Tools for Data-Intensive Computation Platforms</a>. Licentiate degree, 2014.
</div>
</li>
<li><a href="https://www.linkedin.com/in/katharina-rasch-9b5848a0/">Katharina Rasch</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-129171">Smart assistants for smart homes</a>. Doctoral degree, 2013. Co-supervisor.
</div>
</li>
<li><a href="http://www.bakicakici.com/">Baki Cakici</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-33661">Disease surveillance systems</a>. Licentiate degree, 2011. Assistant supervisor.
</div>
</li>
<li><a href="http://www.csse.monash.edu/~guidot/"
>Guido Tack</a>,
Programming Systems Lab, Saarland University, Germany.
<div class="lit"
>
<a href="http://www.ps.uni-sb.de/Papers/abstracts/tackDiss.html">Constraint Propagation: Models, Techniques,
Implementation</a>. Doctoral degree, 2009.
Guido's dissertation has won the
<a href="https://www.a4cp.org/awards/doctoral-research-award">Doctoral Research Award</a> 2010 of the Association of Constraint
Programming. Co-supervisor.
</div>
</li>
<li><a href="https://www.linkedin.com/in/zayenz/">Mikael Lagerkvist</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9511">Techniques for Efficient Constraint Propagation</a>. Licentiate degree, 2008.
</div>
</li>
<li><a href="https://www.hshl.de/personen/prof-dr-rené-krenz-baath"
>René Krenz-Bååth</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4579">Dominator-based Algorithms in Logic Synthesis and Verification</a>. Doctoral degree, 2008.
Co-supervisor.
</div>
</li>
<li><a href="https://www.linkedin.com/in/dragan-havelka-5b8b992/">Dragan Havelka</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-282">Thread-based Mobility for a Distributed Dataflow Language</a>.
Licentiate degree, 2005.
Co-supervisor.
</div>
</li>
<li><a href="https://www.sics.se/people/frej-drejhammar"
>Frej Drejhammar</a>,
KTH Royal Institute of Technology, Sweden.
<div class="lit"
><a href="http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287">Flow Java: Declarative Concurrency for Java</a>. Licentiate degree,
2005.
Co-supervisor.
</div>
</li>
</ul>
<h2 id="master">Master Students</h2>
<ul>
<li>Pietrro Alovisi, TBD.<br />KTH Royal Institute of Technology, Sweden, Master thesis, 2020.</li><li>Sofia Pedersén, TBD.<br />KTH Royal Institute of Technology, Sweden, Master thesis, 2020.</li><li>Jinju Joy, TBD.<br />KTH Royal Institute of Technology, Sweden, Master thesis, 2019.</li><li>Tony Lundgren, TBD.<br />KTH Royal Institute of Technology, Sweden, Master thesis, 2019.</li><li>Christiaan Boersma, Designing a platform to communicate posture and movement data to medical professionals.<br />KTH Royal Institute of Technology, Sweden, Master thesis, 2019.</li><li>Blake Tianze Wang, <a href="http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1334570">Machine Learning for Constraint Programming</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, 2019.</li><li>Klas Segeljakt, <a href="teaching/theses/TRITA-ICT-EX-2018:171.pdf">A Scala DSL for Rust code generation</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2018:171, 2018.</li><li>Oscar Bjuhr, <a href="teaching/theses/TRITA-ICT-EX-2018:168.pdf">Dynamic Configuration of a Relocatable Driver and Code Generator for Continuous Deep Analytics</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2018:168, 2018.</li><li>Patrik Karlström, <a href="teaching/theses/TRITA-ICT-EX-2018:169.pdf">A Systematic Approach to Automated Software Diversity using Unison</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2018:169, 2018.</li><li>William Wieweg, <a href="teaching/theses/TRITA-ICT-EX-2018:172.pdf">Towards Arc Consistency in PLAS</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2018:172, 2018.</li><li>Martin Persson, <a href="teaching/theses/TRITA-ICT-EX-2017:75.pdf">Evaluating Unison's Speedup Estimation</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2017:75, 2017.</li><li>Marion Bellefin, <a href="teaching/theses/TRITA-ICT-EX-2017:6.pdf">Optimisation of linear algebra software implementation on a DSP architecture</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2017:6, 2017.</li><li>Johan Gasslander, <a href="teaching/theses/TRITA-ICT-EX-2017:4.pdf">Bluetooth Low Energy in the Contiki OS</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2017:4, 2017.</li><li>Ioana Teodora Anitoaei, <a href="teaching/theses/TRITA-ICT-EX-2016:104.pdf">Enhancing Parking Behaviour Detection</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2016:104, 2016.</li><li>Nikolaos Ektoras Anestos, <a href="teaching/theses/TRITA-ICT-EX-2016:106.pdf">Cloud Service Orchestration Using Constraint Programming</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2016:106, 2016.</li><li>Zhengyang Zhao, <a href="teaching/theses/TRITA-ICT-EX-2015:201.pdf">Assembly Sequencing using Constraint Programming</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:201, 2015.</li><li>Mattias Jansson, <a href="teaching/theses/TRITA-ICT-EX-2015:78.pdf">Instant Toolsmith: Assembler</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:78, 2015.</li><li>Kilian Höflinger, <a href="teaching/theses/TRITA-ICT-EX-2015:77.pdf">Design of an Automatic Specification-based Test-framework for On-board Software of Satellites</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:77, 2015.</li><li>Bevin Hansson, <a href="teaching/theses/TRITA-ICT-EX-2015:76.pdf">Random Code Generation for Testing in Compilers</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:76, 2015.</li><li>Anton From, <a href="teaching/theses/TRITA-ICT-EX-2015:75.pdf">Parallel Portfolio Search for Gecode</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:75, 2015.</li><li>Erik Ekström, <a href="teaching/theses/TRITA-ICT-EX-2015:74.pdf">Implied Constraints for the Unison Presolver</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:74, 2015.</li><li>Mikael Almgren, <a href="teaching/theses/TRITA-ICT-EX-2015:73.pdf">Evaluation and Implementation of Dominance Breaking Presolving Techniques in the Unison Compiler Back-End</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2015:73, 2015.</li><li>Karl Johansson, <a href="teaching/theses/TRITA-ICT-EX-2014:106.pdf">Instant Simulator</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2014:106, 2014.</li><li>Khalil Saedi, <a href="teaching/theses/TRITA-ICT-EX; 2013:233.pdf">A link-time optimisation (LTO) approach in the EMCA programme domain</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX; 2013:233, 2013.</li><li><a href="http://katalog.uu.se/empinfo/?id=N14-1627">Kim-Anh Tran</a>, <a href="http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-209267">Necessary Conditions for Constraint-based Register Allocation and Instruction Scheduling</a>.<br />Uppsala University, Sweden, Master thesis, 2013.</li><li>Saeed Ansari Ramandi, <a href="teaching/theses/TRITA-ICT-EX-2012:10.pdf">Automated Debugging in a Trading System</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2012:10, 2012.</li><li>Xavier Legros, <a href="teaching/theses/TRITA-ICT-EX-2011:66.pdf">Optimization of a compiler for a custom microprocessor</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2011:66, 2011.</li><li><a href="https://www.sics.se/~rcas/">Roberto Castañeda Lozano</a>, <a href="teaching/theses/TRITA-ICT-EX-2010:69.pdf">Constraint Programming for Random Testing of a Trading System</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2010:69, 2010.<br>Winner of the Swedish AI Society's prize for the best AI Master's Thesis 2010.</li><li>Rahim Delaviz Aghbolagh, Dynamic Implementation of the Tree Constraint.<br />KTH Royal Institute of Technology, Sweden, Master thesis, TRITA-ICT-EX-2009:19, 2009.</li><li>Sofia Zhou, UML 2.0 and SDL-RT for Modelling Real-time Systems.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2008-114, 2008.</li><li>Muhammad Arshad, Deploying Web Service Descriptions for an OAI Data Provider.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2008-105, 2008.</li><li>Bruno Roggeri, Optimizing Raytracing Algorithms.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2007-17, 2007.</li><li>Piotr Szpoton, Propagation for Scheduling Problems.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-135, 2006.</li><li>Karin Ask, <a href="teaching/theses/ICT-ECS-2006-122.pdf">Automatic Malware Signature Generation</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-122, 2006.</li><li>Piotr Kundu, File transfer over HTTP using Symbian OS.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-75, 2006.</li><li>Fredrik Asp, Peter Odén, <a href="teaching/theses/ICT-ECS-2006-74.pdf">Information Visualization in Eclipse</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-74, 2006.</li><li>Morten Nielsen, <a href="teaching/theses/ICT-ECS-2006-45.pdf">Parallel Search in Gecode</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-45, 2006.</li><li>Love Florgård, <a href="teaching/theses/ICT-ECS-2006-67.pdf">Design and Implementation of a Distributed System for Synchronization and Supervision</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-67, 2006.</li><li><a href="http://andrearendl.com/">Andrea Rendl</a>, <a href="teaching/theses/ICT-ECS-2006-58.pdf">A Modelling Language for Constraint Programming</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-58, 2006.</li><li>Elena de Castro Díaz-Plaza, <a href="teaching/theses/ICT-ECS-2006-44.pdf">Performance Validation and Auto-method Test Management</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-44, 2006.</li><li>Anders Musikka, <a href="teaching/theses/ICT-ECS-2006-17.pdf">Using a More Fine-Grained Cost-Function for Crew Rostering at SAS</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, ICT/ECS-2006-17, 2006.</li><li>Mattias Anuéll, Daniel Sandberg, <a href="teaching/theses/IMIT-LECS-2005-60.pdf">CORBA Tracer, Execution Trace of a CORBA Based Distributed System</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, IMIT/LECS-2005-60, 2005.</li><li>Staffan Friberg, <a href="teaching/theses/IMIT-LECS-2004-69.pdf">Dynamic Profile Guided Optimization in a VEE on IA-64</a>.<br />KTH Royal Institute of Technology, Sweden, Master thesis, IMIT/LECS-2004-69, 2005.</li><li>Martin Homik, Ressourcenoptimierung von Workflow Problemen.<br />Saarland University, Germany, Master thesis, 2002.</li><li>Dag Kröper, Konzeption und Realisierung eines neuen Bibliotheksverwaltungssystems.<br />Saarland University, Germany, Master thesis, 2002.</li><li><a href="http://www.ps.uni-sb.de/~bruni/">Thorsten Brunklaus</a>, Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter.<br />Saarland University, Germany, Master thesis, 2000.</li><li>Leif Kornstaedt, Definition und Implementierung eines Front-End-Generators für Oz.<br />Saarland University, Germany, Master thesis, 1996.</li><li><a href="http://www.sics.se/~kost/">Konstantin Popov</a>, An Implementation of Distributed Computation in the Programming Language Oz (In Russian).<br />Electrotechnical State University of St. Petersburg Uljanov/Lenin, Russia, Master thesis, 1994.</li></ul>
<h2 id="bachelor">Bachelor Students</h2>
<ul>
<li>Erik Larsson, TBD.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, 2019.</li><li>Andreas Lindmark, A Gecode Propagator for the Contextfree Grammar Constraint.<br />Uppsala University, Sweden, Bachelor thesis, 2018.</li><li>Dusan Viktor Hrstic, <a href="teaching/theses/TRITA-ICT-EX-2017:74.pdf">Improving the performance of GPU-accelerated spatial joins</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2017:74, 2017.</li><li>Oscar Bjuhr, Klas Segeljakt, <a href="teaching/theses/TRITA-ICT-EX-2016:98.pdf">Reducing software complexity by hidden structure analysis</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2016:98, 2016.</li><li>Vidak Mijailovic, <a href="teaching/theses/TRITA-ICT-EX-2015:72.pdf">A Graph-Based Approach to Procedural Terrain</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2015:72, 2015.</li><li>Jonas Masko, <a href="teaching/theses/TRITA-ICT-EX-2015:71.pdf">Automatic sampling of a MIDI-controlled grand piano</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2015:71, 2015.</li><li>Haimen Aldabbagh, <a href="teaching/theses/TRITA-ICT-EX 2014:105.pdf">Provinsgenerering med post-process</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX 2014:105, 2014.</li><li>Daniel Carlsson, Daniel Snellman, <a href="teaching/theses/TRITA-ICT-EX 2014:104.pdf">T2DW på mobila enheter</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX 2014:104, 2014.</li><li>Johan Gasslander, <a href="teaching/theses/TRITA-ICT-EX 2014:103.pdf">A Front-end to LBTest</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX 2014:103, 2014.</li><li>Patrik Eklöf, <a href="teaching/theses/TRITA-ICT-EX-2014:39.pdf">Implementing confidence-based work stealing search in Gecode</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2014:39, 2014.</li><li>Nina Knutas, Joakim Palmkvist, <a href="teaching/theses/TRITA-ICT-EX-2013:190.pdf">A Distributed information system for gaming events</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2013:190, 2013.</li><li>Jenny Olsson, <a href="teaching/theses/TRITA-ICT-EX-2013:191.pdf">Time critical synchronization of networked rendering</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2013:191, 2013.</li><li>Johan Rende, <a href="teaching/theses/TRITA-ICT-EX-2013:192.pdf">Creating a real-time web-based media player</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2013:192, 2013.</li><li>Mattias Jansson, Karl Johansson, <a href="teaching/theses/TRITA-ICT-EX-2012:144.pdf">Performance benchmarking using real world applications</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2012:144, 2012.</li><li>Zandra Norman, <a href="teaching/theses/TRITA-ICT-EX-2012:143.pdf">Memory Management for Gecode</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2012:143, 2012.</li><li>Johan Tjelldén, Erik Ylipää, <a href="teaching/theses/TRITA-ICT-EX-2012:142.pdf">Creating the Conveyerl visualisation tool for Erlang programs</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2012:142, 2012.</li><li>Jakob Stengård, <a href="teaching/theses/TRITA-ICT-EX-2011:203.pdf">Registerallokering med PBQP för en DSP</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2011:203, 2011.</li><li>Björn Dahlgren, Niklas Ström, <a href="teaching/theses/TRITA-ICT-EX-2011:202.pdf">Development with Modern Mobile Technologies</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2011:202, 2011.</li><li>Daniel Zheng, <a href="teaching/theses/TRITA-ICT-EX-2011:201.pdf">Design and implementation of a wood measurement system</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2011:201, 2011.</li><li>Daniel Olausson, Mikael Stockmann, <a href="teaching/theses/TRITA-ICT-EX-2011:200.pdf">Sjävscanning med mobiltelefon</a>.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, TRITA-ICT-EX-2011:200, 2011.</li><li>Janine Wicke, Propagation for Bin-packing.<br />KTH Royal Institute of Technology, Sweden, Bachelor thesis, ICT/ECS-2006-134, 2006.</li><li>Dainius Ramanauskas, Bibliothekssystem der Computerlinguistik.<br />Saarland University, Germany, Bachelor thesis, 2002.</li><li><a href="http://www.ps.uni-sb.de/~tack/">Guido Tack</a>, Integrated Oz Search Factory.<br />Saarland University, Germany, Bachelor thesis, 2002.</li><li><a href="http://www.ps.uni-sb.de/~kuhlmann/">Marco Kuhlmann</a>, Tiny Constraint Modelling Language.<br />Saarland University, Germany, Bachelor thesis, 2001.</li><li>Martin Homik, JOz: Grafisches Java-Oz Frontend.<br />Saarland University, Germany, Bachelor thesis, 1999.</li></ul>
</div>
<div id="footer">
© 2009 <a href="https://chschulte.github.io/">Christian Schulte</a> (Thu Sep 12 14:39:33 2019) |
original design by <a href="https://andreasviklund.com/"
>Andreas Viklund</a>
</div>
</div>
</body>
</html>