-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresume.tex
86 lines (71 loc) · 4.96 KB
/
resume.tex
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
\documentclass[10pt]{article}
\usepackage{needspace}
\usepackage{fullpage}
\usepackage{times}
\usepackage{hyperref}
\usepackage{multibbl}
\pagestyle{empty}
\begin{document}
\input{definitions}
\textbf{\Large Christoph Kirsch (German; December 9, 1968; Orcid: 0000-0002-0961-0564)}
\mycvitem{Contact}~\\[1ex]
\begin{tabular}{rl@{\hspace{12em}}rl}
Address & Department of Computer Science & Phone & +43-662-8044-6411\\
& University of Salzburg & Fax & +43-662-8044-6480\\
& Jakob-Haringer-Str. 2 & Email & \href{mailto:ck@cs.uni-salzburg.at}{ck@cs.uni-salzburg.at} \\
& 5020 Salzburg, Austria & Web & \href{https://www.cs.uni-salzburg.at/~ck}{www.cs.uni-salzburg.at/$\!\sim$ck} \\
\end{tabular}
\mycvitem{Professional Preparation}~\\[1ex]
\begin{tabular}{rl}
October 1999 & Dr.-Ing., \href{http://www.uni-saarland.de}{Saarland University}, Saarbr{\"u}cken, Germany (Advisor: Prof. Harald Ganzinger)\\
& While at the \href{http://www.mpi-sb.mpg.de}{Max Planck Institute for Computer Science}, Saarbr{\"u}cken, Germany\\
\noalign{\smallskip}
March 1996 & Dipl.-Inform., \href{http://www.uni-saarland.de}{Saarland University}, Saarbr{\"u}cken, Germany (Advisor: Prof. Hans-J{\"u}rgen Ohlbach)\\
& While at the \href{http://www.mpi-sb.mpg.de}{Max Planck Institute for Computer Science}, Saarbr{\"u}cken, Germany\\
\end{tabular}
\mycvitem{Current Appointments}~\\[1ex]
\begin{tabular}{rl}
Since October 2022 & Chair, \href{https://prl-prg.github.io}{Programming Research Laboratory} \\
& \href{https://fit.cvut.cz}{Faculty of Information Technology}, \href{https://cvut.cz}{Czech Technical University}, Prague, Czech Republic \\
\noalign{\smallskip}
Since January 2022 & Chair, \href{https://informatik.uni-salzburg.at}{Department of Computer Science}, \href{https://plus.ac.at}{University of Salzburg}, Salzburg, Austria \\
\noalign{\smallskip}
Since April 2004 & Full Professor and Chair, \href{https://www.cs.uni-salzburg.at/~ck}{Computational Systems Group} \\
& \href{https://informatik.uni-salzburg.at}{Department of Computer Science}, \href{https://plus.ac.at}{University of Salzburg}, Salzburg, Austria \\
\end{tabular}
\mycvitem{Previous Appointments}~\\[1ex]
\begin{tabular}{rl}
August 2013---December 2014 & Visiting Professor (Host: Prof. Raja Sengupta)\\
& \href{http://www.ce.berkeley.edu}{CEE Department}, \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, CA, USA \\
\noalign{\smallskip}
September 2008---August 2013 & Visiting Scholar (Host: Prof. Raja Sengupta)\\
& \href{http://www.ce.berkeley.edu}{CEE Department}, \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, CA, USA \\
\noalign{\smallskip}
May 2003---March 2004 & Assistant Research Engineer (Sponsor: Prof. Thomas Henzinger)\\
& \href{http://www.eecs.berkeley.edu}{EECS Department}, \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, CA, USA \\
\noalign{\smallskip}
November 1999---April 2003 & Postdoctoral Researcher (Sponsor: Prof. Thomas Henzinger)\\
& \href{http://www.eecs.berkeley.edu}{EECS Department}, \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, CA, USA \\
\noalign{\smallskip}
March 1996---October 1999 & Research Assistant (Sponsor: Prof. Harald Ganzinger)\\
& \href{http://www.mpi-sb.mpg.de}{Max Planck Institute for Computer Science}, Saarbr{\"u}cken, Germany \\
\end{tabular}
\mycvitem{Supervision of Graduate Students and Postdocs}~\\[1ex]
\begin{tabular}{rl}
Since April 2004 & 5 Postdocs, 10 PhD Students, 18 Masters Students \\
& \href{https://informatik.uni-salzburg.at}{Department of Computer Science}, \href{https://plus.ac.at}{University of Salzburg}, Salzburg, Austria \\
\end{tabular}
\mycvitem{Teaching Activities}~\\[1ex]
\begin{tabular}{rl}
Since 2019 & Professor, Undergraduate Class, Introduction to Computer Science \\
& \href{https://informatik.uni-salzburg.at}{Department of Computer Science}, \href{https://plus.ac.at}{University of Salzburg}, Salzburg, Austria \\
Since 2004 & Professor, Undergraduate and Graduate Classes, Compiler Construction and Systems Engineering \\
& \href{https://informatik.uni-salzburg.at}{Department of Computer Science}, \href{https://plus.ac.at}{University of Salzburg}, Salzburg, Austria \\
\noalign{\smallskip}
2014 & Visiting Professor, Graduate Class, Computer Science for Civil Engineers \\
& \href{http://www.ce.berkeley.edu}{CEE Department}, \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, CA, USA \\
\noalign{\smallskip}
2001--2002 & Postdoc, Graduate Class, Embedded Software Engineering \\
& \href{http://www.eecs.berkeley.edu}{EECS Department}, \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, CA, USA \\
\end{tabular}
\end{document}