Christoph Kirsch
Professor at University of Salzburg
Salzburg, Salzburg, Austria
Summary
🤩
Rockstar🎓
Top SchoolChristoph Kirsch is a computer science professor at the University of Salzburg with over two decades of academic and research experience, including a postdoc at UC Berkeley. He focuses on low-level systems, compilers, and formal aspects of computing, evidenced by hands-on contributions to a tiny self-compiling C compiler, RISC-V emulator, and self-hosting hypervisor. His GitHub work shows deep engagement with instruction-level semantics and system correctness, such as introducing relative node identifiers and rigorous address-bound checks. Trained in Germany with a Dr.Ing. from Universität des Saarlandes, he blends rigorous theoretical background with practical system architecture. Colleagues and students benefit from his long-running combination of research leadership and detailed low-level engineering. He is based in Salzburg and continues to drive both teaching and open-source system projects that bridge pedagogy and research.
13 years of coding experience
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Technische Universität KaiserslauternDipl.Inform., Computer Science, Dipl.Inform., Computer Science at Universität des Saarlandes
Github Skills (12)
risc-v10
compiler-design10
c-programming10
emulation10
validation10
validations10
validate10
device-emulation10
assembly8
code-optimization8
assembler8
assemble8
Programming languages (8)
Github contributions (5)
cksystemsteaching/selfie
Sep 2015 - Jan 2023
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Role in this project:
Back-end Developer & System Architect
Back-end Developer & System ArchitectContributions:5 releases, 41 reviews, 1908 commits in 7 years 5 months
Contributions summary:Christoph's commits focus on adding and modifying code related to the core functionality of a self-compiling compiler and RISC-V emulator. They introduced relative node identifiers in the `lui`, `addi`, `add`, `divu`, and `remu` instructions, and incorporated code to handle address validity checks. Furthermore, they refactored code by introducing a `reset_bounds()` function and factoring out bound transfer functionalities within various instructions. The changes show a focus on the internal workings of the software, enhancing its low-level functionality.
emulatorsymbolic-execution-enginecompilercomputer-sciencecompiling
ckirsch/talks
Jun 2017 - Nov 2022
Contributions:22 pushes, 2 branches in 5 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.