-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbio.html
229 lines (200 loc) · 23.4 KB
/
bio.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
216
217
218
219
220
221
222
223
224
225
226
227
228
229
<!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: Short Bio</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>Short Bio</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 href="https://chschulte.github.io/education.html">education</a></li><li><a href="https://chschulte.github.io/presentations.html">presentations</a></li><li><a class="gray" href="https://chschulte.github.io/bio.html">short bio</a></li></ul></div>
<div id="content">
<p class="navig">
[<a href="#projects">grants</a> |
<a href="#awards">awards</a> |
<a href="#conference">conferences</a> |
<a href="#workshop">workshops</a> |
<a href="#schools">graduate schools</a> |
<a href="#edit">editorial</a> |
<a href="#thesis">external examiner</a> |
<a href="#misc">misc</a> |
<a href="#degrees">degrees</a> |
<a href="#work">work</a>]
</p>
<h2 id="projects">Recent Grants</h2>
<ul>
<li><a href="https://strategiska.se/forskning/pagaende-forskning/big-data-och-berakningsvetenskap/projekt/8208/">Continuous Deep Analytics</a>, Swedish Foundation for Strategic Research (SSF), BD15-0006, 2017–2021. Volume: 33000 KSEK, role: co-principal investigator.</li>
<li>Grant for being placed part time at LM Ericsson AB, 2015–2016. Volume: 150 KSEK. Part of <a href="https://www.kth.se/samverkan/kloss/kloss-akut/om-kloss-akut-1.586315">KLOSS AkUt</a>.</li>
<li>Constraint-based compiler backend, LM Ericsson AB [conducted at SICS], 2015–2017. Volume: 5760 KSEK, role: principal investigator.</li>
<li>Conference grant for <a href="http://cp2013.a4cp.org">CP 2013</a>.
Swedish Research Council (VR), 624-2013-6330, 2013. Volume: 60 KSEK, role: grant holder (as program chair of CP 2013).</li>
<li>Constraint-based compiler backend, LM Ericsson AB [conducted at SICS], 2013–2015. Volume: 5800 KSEK, role: principal investigator.</li>
<li><a href="projects/unison.html">Unison: Robust, Scalable, and Open Code Generation by Combinatorial Problem Solving</a>, Swedish Research Council (VR), 621-2011-6229, 2012–2014. Volume: 2400 KSEK, role: principal investigator.</li>
<li>Constraint-based compilation, LM Ericsson AB [conducted at SICS], 2012–2013. Volume: 4100 KSEK, role: principal investigator.</li>
<li>Constraint-based compilation, LM Ericsson AB [conducted at SICS], 2010–2012. Volume: 3700 KSEK, role: principal investigator.</li>
<li><a href="projects/cocoprop.html">Coordinating Constraint Propagation</a>, Swedish Research Council (VR), 621-2004-4953, 2005–2007. Volume: 1875 KSEK, role: principal investigator.</li>
</ul>
<h2 id="awards">Awards, Prizes, and Competition Entries</h2>
<ul>
<li>Gold medal winner MiniZinc Challenge (all categories)
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2012/results2012.html">2012</a>,
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2011/results2011.html">2011</a>,
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2010/results2010.html">2010</a>,
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2009/results2009.html">2009</a>,
<a href="http://www.g12.csse.unimelb.edu.au/minizinc/results.html">2008</a> (using <a href="software.html#gecode">Gecode</a>, with Mikael Lagerkvist,
Guido Tack).</li>
<li>Teacher of the year 2009, 2003 for the IT program, KTH Royal Institute of Technology, Sweden.</li>
<li>Winner of the Prolog Programming Contest 2003 (with Vitaly Lagoon, Peter J. Stuckey), 2002 (with Kostis Sagonas, Peter J. Stuckey).</li>
<li>Best application <a href="paper.html?id=DrejhammarSchulteEa:ICLP:2003">paper</a> award, ICLP 2003.</li>
</ul>
<h2 id="conference">Conference Involvement</h2>
<ul><li>International Conference on Compiler Construction<div class="lit"><a href="https://conf.researchr.org/home/CC-2020">CC 2020</a> (pc member).</div></li><li>AAAI Conference on Artificial Intelligence<div class="lit"><a href="https://www.aaai.org/Conferences/AAAI-20/">AAAI 2020</a> (pc member),
<a href="http://www.aaai.org/Conferences/AAAI-19/">AAAI 2019</a> (pc member),
<a href="http://www.aaai.org/Conferences/AAAI/aaai15.php">AAAI 2015</a> (pc member),
<a href="http://www.aaai.org/Conferences/AAAI/aaai10.php">AAAI 2010</a> (pc member),
<a href="http://www.aaai.org/Conferences/AAAI/aaai08.php">AAAI 2008</a> (pc member),
<a href="http://www.aaai.org/Conferences/AAAI/aaai07.php">AAAI 2007</a> (pc member).</div></li><li>Practical Aspects of High-Level Parallel Programming<div class="lit"><a href="http://frederic.loulergue.eu/PAPP2018/">PAPP 2018</a> (pc member).</div></li><li>ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)<div class="lit"><a href="https://conf.researchr.org/home/LCTES-2019">LCTES 2019</a> (pc member),
<a href="https://conf.researchr.org/home/LCTES-2018">LCTES 2018</a> (pc member),
<a href="http://conf.researchr.org/home/LCTES-2017">LCTES 2017</a> (pc member),
<a href="http://lctes16.citi.sinica.edu.tw/">LCTES 2016</a> (pc member).</div></li><li>International Joint Conference on Artificial Intelligence<div class="lit"><a href="http://ijcai-19.org">IJCAI 2019</a> (pc member),
<a href="http://ijcai-18.org">IJCAI 2018</a> (senior pc member),
<a href="http://ijcai-17.org">IJCAI 2017</a> (senior pc member),
<a href="http://ijcai-15.org">IJCAI 2015</a> (senior pc member),
<a href="http://www.ezconf.net/ijcai13/">IJCAI 2013</a> (senior pc member),
<a href="http://ijcai-11.iiia.csic.es/">IJCAI 2011</a> (pc member).</div></li><li>International Conference on Principles and Practice of Constraint Programming<div class="lit"><a href="http://cp2018.a4cp.org">CP 2018</a> (pc member),
<a href="http://cp2017.a4cp.org">CP 2017</a> (pc member, application track),
<a href="http://cp2016.a4cp.org">CP 2016</a> (pc member),
<a href="http://booleconferences.ucc.ie/cp2015">CP 2015</a> (senior pc member),
<a href="http://cp2014.a4cp.org">CP 2014</a> (senior pc member),
<a href="http://cp2013.a4cp.org">CP 2013</a> (program chair),
<a href="http://www.cp2012.org/">CP 2012</a> (pc member),
<a href="http://www.dmi.unipg.it/cp2011/">CP 2011</a> (workshop/tutorial chair, pc member),
<a href="http://cp2010.cs.st-andrews.ac.uk/">CP 2010</a> (pc member),
<a href="http://www.cs.mu.oz.au/cp2008/">CP 2008</a> (pc member),
<a href="http://www.cp2007.org/">CP 2007</a> (pc member),
<a href="http://www.sciences.univ-nantes.fr/cp06/">CP 2006</a> (publicity chair, pc member),
CP 2005 (pc member),
<a href="http://www.cs.cornell.edu/cp2002/">CP 2002</a> (pc member),
<a href="http://www2.cs.ucy.ac.cy/~iclpcp01/CP01home.html">CP 2001</a> (pc member),
CP 2000 (pc member).</div></li><li>International Conference on Compilers, Architecture, and Synthesis of Embedded Systems<div class="lit"><a href="https://www.esweek.org/cases/">CASES 2019</a> (pc member),
<a href="https://www.esweek.org/cases/">CASES 2018</a> (pc member).</div></li><li>International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems<div class="lit"><a href="http://cpaior2017.dei.unipd.it">CPAIOR 2017</a> (pc member),
<a href="https://symposia.cirrelt.ca/CPAIOR2016/en">CPAIOR 2016</a> (pc member),
<a href="http://4c.ucc.ie/cpaior2014/">CPAIOR 2014</a> (pc member),
<a href="http://www.cis.cornell.edu/ics/cpaior2013/">CPAIOR 2013</a> (pc member),
<a href="http://www-sop.inria.fr/coprin/cpaior04/">CPAIOR 2004</a> (pc member).</div></li><li>European Conference on Artificial Intelligence<div class="lit"><a href="http://www2.lirmm.fr/ecai2012/">ECAI 2012</a> (pc member),
<a href="http://www.ece.upatras.gr/ecai2008/">ECAI 2008</a> (pc member).</div></li><li>Asian Symposium on Programming Languages and Systems<div class="lit"><a href="http://basics.sjtu.edu.cn/conference/aplas2010/">APLAS 2010</a> (pc member).</div></li><li>Australian Joint Conference on Artificial Intelligence<div class="lit"><a href="http://www.austai.org">AI 2007</a> (pc member).</div></li><li>International Conference on Principles and Practice of Declarative Programming<div class="lit"><a href="http://ppdp07.ii.uni.wroc.pl/">PPDP 2007</a> (pc member),
<a href="http://www.dsi.unive.it/ppdp2006/">PPDP 2006</a> (pc member),
<a href="http://www.it.uu.se/ppdp03/">PPDP 2003</a> (publicity chair),
<a href="http://music.dsi.unifi.it/pli01/ppdp/">PPDP 2001</a> (pc member).</div></li><li>International Symposium on Practical Aspects of Declarative Languages<div class="lit"><a href="http://www.informatik.uni-kiel.de/~mh/padl07/">PADL 2007</a> (pc member),
<a href="http://www.cs.brown.edu/people/pvh/PADL06.html">PADL 2006</a> (pc member).</div></li><li>International Conference on Logic Programming<div class="lit"><a href="http://www.cs.uky.edu/iclp06/">ICLP 2006</a> (workshop chair),
<a href="http://floc02.diku.dk/ICLP/">ICLP 2002</a> (pc member).</div></li><li>International Mozart/Oz Conference<div class="lit">MOZ 2004 (pc member).</div></li><li>International Conference on Computational Logic<div class="lit"><a href="http://www.doc.ic.ac.uk/cl2000/">CL 2000</a> (pc member, constraint stream).</div></li></ul>
<h2 id="workshop">Workshop Involvement</h2>
<ul><li>Nordic Workshop on Multi-Core Computing<div class="lit"><a href="https://sites.google.com/view/mcc2019">MCC 2019</a> (pc member),
<a href="https://sites.google.com/site/mccworkshop2018/home">MCC 2018</a> (pc member),
<a href="https://www.it.uu.se/research/upmarc/events/MCC2017">MCC 2017</a> (pc member).</div></li><li>Parallel Methods for Search & Optimization<div class="lit"><a href="http://vsl2014.at/pages/ParSearchOpt-index.html">PaSeO 2014</a> (pc member).</div></li><li>Workshop on combining constraint solving with mining and learning<div class="lit"><a href="http://cocomile.disi.unitn.it/2012/">CoCoMile 2012</a> (pc member).</div></li><li>Swedish Constraint Network Workshop<div class="lit">SweConsNet 2014 (organizer),
SweConsNet 2012 (organizer),
SweConsNet 2006 (organizer).</div></li><li>International Workshop on Declarative Aspects of Multicore Programming<div class="lit"><a href="http://www.mpi-sws.org/~umut/damp2012/">DAMP 2012</a> (pc member).</div></li><li>Workshop on Parallel Methods for Constraint Solving<div class="lit"><a href="http://webia.lip6.fr/~codognet/PMCS11">PMCS 2011</a> (pc member).</div></li><li>Workshop on Logics for Component Configuration<div class="lit"><a href="http://lococo2010.mancoosi.org/">LoCoCo 2010</a> (pc member).</div></li><li>Open Source Tools for Constraint Programming and Mathematical
Programming<div class="lit"><a href="http://coral.ie.lehigh.edu/~cpaior/">Open Source Tools for Constraint Programming and Mathematical
Programming 2010</a> (pc member).</div></li><li>Techniques for Implementing Constraint Programming Systems<div class="lit"><a href="http://www.cs.kuleuven.be/~guido.tack/2010TRICS/">TRICS 2010</a> (pc member),
TRICS 2002 (co-organizer),
TRICS 2000 (co-organizer).</div></li><li>International Days on Constraint Programming Tools<div class="lit">CP-TOOLS 2006 (co-organizer).</div></li><li>Colloquium on Implementation of Constraint and Logic Programming Systems<div class="lit"><a href="http://www.cs.nmsu.edu/lldap/CICLOPS06/">CICLOPS 2006</a> (pc member),
<a href="http://www.dcc.fc.up.pt/ciclops05/">CICLOPS 2005</a> (co-organizer),
<a href="http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/">CICLOPS 2004</a> (pc member),
CICLOPS 2003 (pc member),
<a href="http://www.cs.kuleuven.ac.be/~bmd/ciclops02.html">CICLOPS 2002</a> (pc member),
<a href="http://www.CS.NMSU.Edu/~complog/conferences/iclp01/">CICLOPS 2001</a> (pc member).</div></li><li>Cooperative Solvers in Constraint Programming<div class="lit"><a href="http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/cosolv/2005/">COSOLV 2005</a> (pc member).</div></li><li>Component-based Software Development and Implementation Technology for Computational Logic Systems<div class="lit"><a href="http://clip.dia.fi.upm.es/COLOGNET-WS/">CoLogNet 2003</a> (pc member).</div></li><li>Multiparadigm Constraint Programming Languages<div class="lit"><a href="http://uebb.cs.tu-berlin.de/~ph/MultiCPL02/">MultiCPL 2002</a> (pc member).</div></li><li>Analysis and Visualization of Constraint Programs and Solvers<div class="lit"><a href="http://www.pms.informatik.uni-muenchen.de/ereignisse/debug.html">Analysis and Visualization of Constraint Programs and Solvers 2000</a> (co-organizer).</div></li><li>Tools and Environments for (Constraint) Logic Programming<div class="lit"><a href="http://www.clip.dia.fi.upm.es/Tools_Environ/call_for_papers.html">Tools and Environments for (Constraint) Logic Programming 1997</a> (co-organizer).</div></li><li>Concurrent Constraint Programming<div class="lit">Concurrent Constraint Programming 1993 (co-organizer).</div></li></ul>
<h2 id="schools">Graduate Schools</h2>
<ul>
<li>Invited lecturer, The Solver Side of Constraint Programming.
<a href="http://school.a4cp.org/summer2018/">ACP Summerschool 2018</a>, Jackson, WY, USA. June 2018
</li>
<li>Co-organizer, ACP Summer School 2011: Hybrid Methods for Constraint Programming, Turunç, Turkey,
June/July 2011.
</li>
<li>Invited lecturer, Constraint Programming Systems.
<a href="http://www.iiia.csic.es/summerschools/sscp2007/">Third International Summer School on Constraint Programming</a>, Lloret de Mar, Spain, June 2007.
</li>
</ul>
<h2 id="edit">Editorial Work</h2>
<ul>
<li>Member of editorial board,
<a href="http://www.springer.com/computer/ai/journal/10601"
>Constraints</a>, 2011-2013; Letters editor, 2014-2019.
</li>
<li>Member of editorial board,
<a href="http://www.constraint-programming-letters.org/"
>Constraint Programming Letters</a>, 2006-2011 (area editor: programming systems and implementation).
</li>
</ul>
<h2 id="thesis">External Thesis Examiner</h2>
<ul>
<li>Ghiles Ziat, A Combination of Abstract Interpretation and Constraint Programming, July 2019. Reviewer, doctoral defense, Sorbonne Université, Paris, France.</li><li>Maxim Chabert, Constraint Programming Models for Conceptual Clustering: Application to an ERP Configuration Problem, December 2018. Examiner, doctoral defense, LIRIS, INSA Lyon, France.</li><li>Max Åstrand, Short-term Underground Mine Scheduling, November 2018. Opponent, licentiate defense, Department of Automatic Control, EECS, KTH, Sweden.</li><li>Elias Castegren, Capability-Based Type Systems for Concurrency Control, Februray 2018. Examiner, doctoral defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.</li><li>Charlotte Truchet, Towards a less constrained constraint programming, November 2017. Reviewer, habilitation defense, Département d'Informatique, Université de Nantes, France.</li><li>Ciaran McCreesh, Solving Hard Subgraph Problems in Parallel, June 2017. Examiner, doctoral defense, School of Computing Science, University of Glasgow, Glasgow, UK.</li><li>Oskar Wigström, Energy efficient multi-robot coordination, November 2016. Examiner, doctoral defense, Chalmers University of Technology, Department of Signals and Systems, Gothenburg, Sweden.</li><li>Mehmet Ali Arslan, Code Generation for Custom Architectures Using Constraint Programming, November 2016. Opponent, doctoral defense, Lund University, Department of Computer Science, Lund, Sweden.</li><li>Uwe Köckemann, Constraint-based Methods for Human-aware Planning, October 2016. Examiner, doctoral defense, Örebro University, School of Science and Technology, Sweden.</li><li>Oliver Schwarz, No Hypervisor Is an Island, October 2016. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Computer Science and Communication, Stockholm, Sweden.</li><li>Fahimeh Jafari, Analysis and Management of Communication in On-Chip Networks, March 2015. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Information and Communication Technology, Stockholm, Sweden.</li><li>Siavash Soleimanifard, Algorithmic Verification of Procedural Programs in the Presence of Code Variability, September 2014. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Computer Science and Communication, Stockholm, Sweden.</li><li>Mikael Millberg, Architectural Techniques for Improving Performance in Networks on Chip, December 2011. Examiner, doctoral defense, KTH Royal Institute of Technology, School of Information and Communication Technology, Department of Electronic Systems, Stockholm, Sweden.</li><li>Carl Christian Rolf, Parallelism in Constraint Programming, October 2011. Opponent, doctoral defense, Lund University, Department of Computer Science, Lund, Sweden.</li><li>Marco Vargas Correia, Modern Techniques for Constraint Solving: The Casper Experience, December 2010. Examiner, doctoral defense, Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Lisbon, Portugal.</li><li>Guido Tack, Constraint Propagation: Models, Techniques, Implementation, January 2009. Examiner, doctoral defense, Saarland University, Faculty of Mathematics and Computer Science, Saarbrücken, Germany.</li><li>Peter Tiedemann, Compiled Data Structures and Global Constraints in Constraint Processing, November 2008. Examiner, doctoral defense, IT University of Copenhagen, Copenhagen, Denmark.</li><li>Irem Aktug, Algorithmic Verification Techniques for Mobile Code, October 2008. Examiner, doctoral defense, KTH Royal Institute for Technology, School of Computer Science and Communication, Stockholm, Sweden.</li><li>Sathiamoorthy Subbarayan, On Exploiting Structures for Constraint Solving, April 2008. Examiner, doctoral defense, IT University of Copenhagen, Copenhagen, Denmark.</li><li>Magnus Ågren, Local Search With Set Variables, January 2008. Examiner, doctoral defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.</li><li>Björn Hägglund, A Framework for Designing Constraint Stores, March 2007. Opponent, licentiate defense, Linköping University, Department of Computer and Information Science, Linköping, Sweden.</li><li>Leif Kornstädt, Design and Implementation of a Programmable Middleware, December 2006. Examiner, doctoral defense, Saarland University, Faculty of Mathematics and Computer Science, Saarbrücken, Germany.</li><li>Grégoire Dooms, The CP(Graph) Computation Domain in Constraint Programming, June 2006. Examiner, doctoral defense, Université Catholique de Louvain, Faculté de Sciences Appliquées, Louvain-la-Neuve, Belgium.</li><li>Vilhelm Dahllöf, Exact Algorithms for Exact Satisfiablity Problems, June 2006. Examiner, doctoral defense, Linköping University, Department of Computer and Information Science, Linköping, Sweden.</li><li>Waldemar Kocjan, Symmetric Cardinality Constraints, December 2005. Opponent, licentiate defense, Mälardalen University, Department of Computer Science and Electronics, Västerås, Sweden.</li><li>Magnus Ågren, High-Level Modelling and Local Search, September 2005. Opponent, licentiate defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.</li><li>Erik Stenman, Efficient Implementation of Concurrent Programming Languages, November 2002. Examiner, doctoral defense, Uppsala University, Department of Information Technology, Uppsala, Sweden.</li> </ul>
<h2 id="misc">Miscellaneous</h2>
<ul>
<li>Member of:
<a href="https://www.acm.org/">ACM</a>,
<a href="https://sigcse.org/sigcse/">ACM SIGCSE</a>,
<a href="https://www.sigplan.org/">ACM SIGPLAN</a>,
<a href="https://www.a4cp.org/">ACP</a>,
<a href="https://www.ieee.org">IEEE</a>,
<a href="https://www.computer.org">IEEE Computer Society</a>,
<a href="https://www.it.uu.se/research/NordConsNet">NordConsNet</a>,
<a href="https://soaf.se/">SOAF</a>.
</li>
<li>Elected member of the Executive Committee of the <a href="https://www.a4cp.org/">Association for Constraint Programming</a> (2006-2009, 2019-2022).</li>
</ul>
<h2 id="degrees">Degrees</h2>
<ul>
<li>Docent in Computer Systems, School of Information and Communication Technology, KTH Royal Institute of Technology, Sweden, 2009.</li>
<li>Dr.-Ing., Naturwissenschaftlich-Technische Fakultät I, Saarland University, Germany, 2001.</li>
<li>Diplom in Informatik (computer science), Institut
für Logik, Komplexität und Deduktionssysteme, Universität
Karlsruhe (TH), Germany, 1992.</li>
</ul>
<h2 id="work">Work Experience</h2>
<ul>
<li>Since May 2018, co-director of the
<a href="https://www.castor.kth.se/">CASTOR Software Research Centre</a>.</li>
<li>January 2018 - December 2021, member of recruiting committee EECS (School of Electrical Engineering and Computer Science), KTH Royal Institute of Technology.</li>
<li>Since July 2012,
professor, <a href="http://www.kth.se/"
>KTH Royal Institute of Technology</a>, Sweden.</li>
<li>January 2017 - December 2017, director of studies (doctoral level) for the department Software and Computer Systems.</li>
<li>April 2015 - December 2017, deputy head of recruitment committee ICT (School of Information and Communication Technology), KTH Royal Institute of Technology.</li>
<li>May 2014 - December 2017, deputy head of docent (academic degree roughly equivalent to habilitation) committee ICT (School of Information and Communication Technology), KTH Royal Institute of Technology.</li>
<li>March 2013 - June 2017. Elected member of strategic council (strategiska rådet), School of Information and Communication Technology, KTH Royal Institute of Technology.</li>
<li>October 2013 - March 2015, member of appointments committee CSC/ICT (School of Computer Science and Communication and School of Information and Communication Technology), KTH Royal Institute of Technology.</li>
<li>January 2013 - December 2019, program director of the doctoral program "Information and Communication Technology".</li>
<li>August 2010 - June 2018, expert researcher at the Swedish Institute of
Computer Science (SICS).</li>
<li>February 2010 - March 2012, director of undergraduate studies (master/advanced level).</li>
<li>April 2002 - June 2012,
associate professor, <a href="http://www.kth.se/"
>KTH Royal Institute of Technology</a>, Sweden.</li>
<li>April 1999 - March 2002, researcher, <a
href="http://www.ps.uni-sb.de/">Programming Systems Lab</a>, <a
href="http://www.uni-sb.de/">Saarland University</a>,
Germany.</li>
<li>October 1992 - March 1999, researcher, <a
href="http://www.dfki.de">German Research Center for
Artificial Intelligence (DFKI)</a>. Project leader from June
1995.</li>
</ul>
</div>
<div id="footer">
© 2009 <a href="https://chschulte.github.io/">Christian Schulte</a> (Fri Dec 6 13:08:25 2019) |
original design by <a href="https://andreasviklund.com/"
>Andreas Viklund</a>
</div>
</div>
</body>
</html>