Christoph Kirsch
  • Home
  • Publications (pdf)
  • Publications (html)
  • BibTeX
  • Talks (pdf)
  • Talks (html)
  • CV (pdf)
  • Bio (html)
Software and Projects
  • Selfie

  • Unicorn

  • Scalloc
  • Scal
  • ACDC
  • libscm
  • compact-fit

  • CPCC

  • JAviator
  • Jarol

  • Tiptoe
  • TAP

  • HTL
  • Giotto

  • Gists
Christoph Kirsch
Christoph Kirsch
Professor
Department of Computer Science
University of Salzburg
Jakob-Haringer-Str. 2
5020 Salzburg
Austria (Maps, vCard)
ck@cs.uni-salzburg.at
https://cs.uni-salzburg.at/~ck

Send me money on Revolut!
Become a selfie sponsor on GitHub!
Schedule time with me on Calendly!

Group @GitHub

Postdoc:
Daniel Kocher

PhD Student:
Michael Starzinger

PhD Graduates (with first post-graduate affiliation):
Alireza Abyaneh
Martin Aigner, Karajan Institute
Silviu Craciunas, TTTech
Andreas Haas, Google
Daniel Iercan (co-advised)
Clemens Krainer, Porsche
Michael Lippautz, Google
Eduardo Marques (co-advised)
Hannes Payer, Google
Harald Röck, Eurofunk
Rainer Trummer, Roco

Research

Systems: Selfie, The JAviator (Project)

Concurrency: Scal, Timestamped Stack, Quantitative Relaxation, Distributed Queues

Memory: Scalloc, ACDC, Short-term Memory, Compact-fit

Time: Principles of Real-Time Programming, Logical Execution Time, Giotto, The Embedded Machine, Schedule-Carrying Code, Variable-Bandwidth Servers

Space: Cyber-Physical Cloud Computing, Big Actors

Logic: Guarded Fragment, Soft Typing

Paradigms: Abstract Symbolic Execution, Incorrect Systems, Runtime Programming

Teaching @GitHub

Software: The Selfie Project
Book: Elementary Computer Science
Curriculum: Computer Science for All
History: Past Classes

Community

PC Member: SAC 2023, ICCQ 2023, ISMM 2022
SC Chair: EMSOFT
SC Member: ESWEEK
EC Member: EAPLS Best 2021 PhD Dissertation Award
Chair: Programming Research Laboratory @ Faculty of Information Technology of CTU Prague

News

Follow me on Mastodon!
Tweets by christophkirsch

© Christoph Kirsch. Website built with Bootstrap.