-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpersonal.tex
74 lines (68 loc) · 4.01 KB
/
personal.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
\thispagestyle{empty}
\begin{center}
{\sc \Huge Curriculum Vitae}\\ \vspace{10mm}
{\sc \Large Christoph M.~Kirsch}\\ \vspace{12mm}
\end{center} \vfill
\mycvitem{Contact} \\
\begin{tabular}{rl}
Address & Department of Computer Science\\
& University of Salzburg\\
& Jakob-Haringer-Str. 2\\
& 5020 Salzburg\\
& Austria\\
\noalign{\smallskip}
Phone & +43-662-8044-6411\\
Fax & +43-662-8044-6480\\
Email & \href{mailto:[email protected]}{[email protected]} \\
Web & \href{https://www.cs.uni-salzburg.at/~ck}{www.cs.uni-salzburg.at/$\!\sim$ck} \\
\end{tabular} \\ \vfill
\mycvitem{Research Interests} \\
\begin{tabular}{l}
Principled design and implementation of programming languages and runtime systems \\
\noalign{\smallskip}
Server, quantum, embedded, real-time, and mobile systems \\
\noalign{\smallskip}
Symbolic reasoning, memory management, concurrency, virtualization
\end{tabular} \vfill
\mycvitem{Education} \\
\begin{tabular}{rl}
October 1999 & Dr.-Ing., \href{http://www.uni-saarland.de}{Saarland University} \\
& While at the \href{http://www.mpi-sb.mpg.de}{Max Planck Institute for Computer Science} \\
& Saarbr{\"u}cken, Germany (Advisor: Prof. Harald Ganzinger)\\
\noalign{\smallskip}
March 1996 & Dipl.-Inform., \href{http://www.uni-saarland.de}{Saarland University} \\
& While at the \href{http://www.mpi-sb.mpg.de}{Max Planck Institute for Computer Science} \\
& Saarbr{\"u}cken, Germany (Advisor: Prof. Hans-J{\"u}rgen Ohlbach)\\
\end{tabular} \\ \vfill
\mycvitem{Academic Employment} \\
\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}{Dept.~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 \\
\noalign{\smallskip}
August 2014---December 2014 & Visiting Professor (Host: Prof. Raja Sengupta)\\
& \href{http://www.ce.berkeley.edu}{Department of Civil and Environmental Engineering} \\
& \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, California, USA \\
\noalign{\smallskip}
September 2008---August 2013 & Visiting Scholar (Sponsor: Prof. Raja Sengupta)\\
& \href{http://www.ce.berkeley.edu}{Department of Civil and Environmental Engineering} \\
& \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, California, USA \\
\noalign{\smallskip}
May 2003---March 2004 & Assistant Research Engineer (Sponsor: Prof. Thomas Henzinger)\\
& \href{http://www.eecs.berkeley.edu}{Department of Electrical Engineering and Computer Sciences} \\
& \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, California, USA \\
\noalign{\smallskip}
November 1999---April 2003 & Postdoctoral Researcher (Sponsor: Prof. Thomas Henzinger)\\
& \href{http://www.eecs.berkeley.edu}{Department of Electrical Engineering and Computer Sciences} \\
& \href{http://www.berkeley.edu}{University of California at Berkeley}, Berkeley, California, 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}
\newpage