-
Notifications
You must be signed in to change notification settings - Fork 0
/
education.html
209 lines (176 loc) · 13.3 KB
/
education.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
<!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>]</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/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</li></ul>
<p class="readmore">
<a href="education-full.html">more courses</a> »
</p>
<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></ul>
<p class="readmore">
<a href="education-full.html">more students</a> »
</p>
<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></ul>
<p class="readmore">
<a href="education-full.html">more students</a> »
</p>
</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>